What you think is right, what is said is that is dense in
Let be two (unequal) reals. Then Since the sequence strictly decreases and has limit there is a such that
Let be the greatest integer such that Then therefore
Since are integers, is a rationnal; we've proved that between two unequal reals lies a rational number. In particular, there's always a rational number between two unequal irrational numbers.