Exponential Function is Continuous

Theorem
The real exponential function is continuous.

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