Soit (u_n) une suite croissante non majorée et soit \text{A} un nombre réel. Comme (u_n) n'est pas majorée, il existe un entier n_0 tel que u_{n_{0}} \geqslant \mathrm{A}.
Or, comme (u_n) est croissante, pour tout entier n \geqslant n_{0}, on a u_{n} \geqslant u_{n_{0}}.
Ainsi, pour tout entier n \geqslant n_{0}, on a u_{n} \geqslant u_{n_{0}} \geqslant \mathrm{A}.
Il existe donc un entier n_0 tel que, pour tout n \geqslant n_{0}, u_{n} \geqslant \mathrm{A} donc \lim\limits_{\substack{n \to +\infty}} u_{n}=+\infty.