Let $\exp$ be the D786: Standard natural complex exponential function.
Let $z \in \mathbb{C}$ be a D1207: Complex number.
Let $z \in \mathbb{C}$ be a D1207: Complex number.
Then
\begin{equation}
\lim_{n \to \infty} \left( 1 + \frac{z}{n} \right)^n
= \exp z
\end{equation}