Let $\exp$ be the D786: Standard natural complex exponential function.
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}