Archimedean property of R

There are no infinitely large or infinitely small positive reals relative to the integers
Archimedean property of R

Archimedean property of R\mathbb{R}: For every xRx\in\mathbb{R} there exists nNn\in\mathbb{N} such that n>xn>x. Equivalently, for every ε>0\varepsilon>0 there exists nNn\in\mathbb{N} such that 1/n<ε1/n<\varepsilon.

This property links the discrete structure of N\mathbb{N} to the continuum R\mathbb{R} and is used constantly in ε\varepsilonNN arguments, especially to choose large integers making quantities small.

Proof sketch (optional): If the set N\mathbb{N} were , it would have a ss. Then s1s-1 would not be an upper bound, so some integer nn satisfies n>s1n>s-1, implying n+1>sn+1>s, contradicting that ss is an upper bound.