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 : For every there exists such that . Equivalently, for every there exists such that .
This property links the discrete structure of to the continuum and is used constantly in – arguments, especially to choose large integers making quantities small.
Proof sketch (optional): If the set were bounded above , it would have a supremum . Then would not be an upper bound, so some integer satisfies , implying , contradicting that is an upper bound.