Question: rationals are dense in the reals proof?
Answer: If x, y ∈ R and x<y, then there exists r ∈ Q such that x<r<y. ... Repeated application of this theorem shows that there are, in fact, infinitely many rational numbers between any pair of distinct real numbers. One can also use the result to prove that the irrational numbers R \ Q are dense in R.