Description: The rational numbers are
dense in : any two
real numbers have a
rational between them. Exercise 6 of [Apostol] p. 28. (Contributed by
NM, 18-Nov-2004.) (Proof shortened by Mario Carneiro,
13-Jun-2014.)