Absolute Value is Bounded Below by Zero

Theorem
Let $x$ be a real number, i.e. that $x \in \R$.

Then the absolute value $\left|{x}\right|$ of $x$ is bounded below by $0$.

Proof

 * Let $x \ge 0$.

Then $\left|{x}\right| = x \ge 0$.


 * Let $x < 0$.

Then $\left|{x}\right| = -x > 0$.

The result follows.