User:Keith.U/Sandbox/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.