Proof. We first verify that the set of numbers of the form qk, k G N, is
not bounded above. If it were, it would have a least upper bound s, and by
definition of the least upper bound, there would be a natural number m G N
such that | < q171 < s. But then s < g m + 1 , so that s could not be an upper
bound of the set.