Exponential of Real Number is Strictly Positive/Proof 1

Theorem
Let $x$ be a real number.

Let $\exp$ denote the real exponential function.

Then:
 * $\forall x \in \R: \exp x > 0$

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

That is, let:
 * $\displaystyle \exp x = \sum_{n \mathop = 0}^\infty \dfrac {x^n} {n!}$

First, suppose $0 < x$.

Then:

So $\exp$ is strictly positive on $\R_{>0}$.

From Exponential of Zero, $\exp 0 = 1$.

Finally, suppose that $x < 0$.

Then:

So $\exp$ is strictly positive on $\R_{<0}$.

Hence the result.