Exponential Function is Well-Defined/Real/Proof 1

Proof
This proof assumes the series definition of $\exp$.

From Series of Power over Factorial Converges:
 * $\displaystyle \sum_{n \mathop = 0}^\infty \frac {x^n} {n!}$ converges

Hence the result, from Convergent Real Sequence has Unique Limit.