Read · 1 min
Suppose we take two real numbers and , and let without any loss of generality. Then we have some natural number such that . (For example if and , then one candidate is .) Now by the Archimedean property, there exists two natural numbers and such that . Since , there must exists some integer such that and and hence we have , now dividing both by we get . Thus, we now have a rational number between two real numbers, so the rationals are dense in the reals.