Considérons un intervalle de la forme A +∞ Puisque la suite n'est pas majorée, elle n'est pas majorée par A. Il existe donc un entier
tel que > A La suite ( ) étant croissante, pour tout , on a > A. Donc pour tout , ∈ A +∞ Tout intervalle de la forme A +∞ contient donc tous les termes de la suite à partir d'un certain rang, et par "! # conséquent $ % & +∞ → ∞