Prove that if is fixed, then there exist such that .
Proof. Since the set of positive integers is unbounded above (Example #1, p. 24 of Apostol) we know there exists an such that (otherwise would be an upper bound on ).
Then, by the same logic there is some such that ; hence, . Since , we know . Thus, we have found such that