Exists Integer Below Any Real Number

Theorem
Let $$x$$ be a real number.

Then there exists an integer less than $$x$$.

$$\forall x \in \R: \exists n \in \Z: n < x$$