Exists Integer Below Any Real Number

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

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

$$\forall x \in \mathbb{R}: \exists n \in \mathbb{Z}: n < x$$