Minimum of Real Hyperbolic Cosine Function

Theorem
Let $x$ be a real number.

Then:
 * $\cosh x \ge 1$

where $\cosh$ denotes the hyperbolic cosine function.

Proof
Furthermore, $\cosh x = 1$ when $x = 0$, satisfying the equality case.