# Exists Integer Below Any Real Number

 It has been suggested that this article or section be renamed: to something less clumsy One may discuss this suggestion on the talk page.

## 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$

## Proof

Clearly we may assume without loss of generality that $x < 0$.

From the Archimedean Principle:

$\exists m \in \N: m > -x$

By Real Numbers form Totally Ordered Field, we have that $\R$ is a totally ordered field.

Therefore by property $(3)$ of Properties of Totally Ordered Field, $\Z \owns -m < x$.

$\blacksquare$