Between any two reals there is another real

For any real $x > 0$, there exists a natural number $n$ with $n > x$

The reals have no largest element

Every non-empty bounded set has a supremum