John wrote:

Of course you mean not ℚ but the nonnegative rationals.


Oops, sorry, I guess I was taking it as not having been proven yet that the sequence of iterates stays positive, although I suppose that's about as immediate as the fact that the sequence stays rational. My bad!