Exponential Function is Well-Defined/Real/Proof 1

Theorem
Let $x \in \R$ be a real number.

Let $\exp x$ be the exponential of $x$.

Then $\exp x$ is well-defined.

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.