Let a be a positive number. Prove that for each real number x there is an integer n such that na is less than or equal to x is less than (n+1)a.
You know that there is an integer such that - by the Archimedean property. Consider the set . This set must be bounded by what we have just set above. Let . Then we have that , but by construction since it is larger than the maximum and so .