Exponential of Real Number is Strictly Positive/Proof 1

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

That is, let:
 * $\ds \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.