Condition (iii) is also sufficient. If did not tend to infinity, some would contain infinitely many terms with . Those terms form a bounded subsequence, and the Bolzano-Weierstrass theorem would give it a convergent subsequence, contrary to the hypothesis. Hence and