Archimedean Property

If $x\in \mathbb{R}$, then there exists $n_x\in \mathbb{R}$ such that $n_x\ge x$