Exponential Function is Continuous/Real Numbers

Theorem
The real exponential function is continuous.

That is:


 * $\forall x_0 \in \R: \displaystyle \lim_{x \mathop \to x_0} \ \exp x = \exp x_0$