If your 'a' is simply any element of the rational numbers, then your r_n_1 is going to be the supremum of the rationals, which is not in the rationals.
Also, after you show that something's strictly increasing, you have to show that it's also unbounded, meaning that for any M, you can pick...