(Un) est une suite numérique définie sur IN.
Complète pour avoir la définition d’une suite strictement croissante :
On dit que la suite (Un) est strictement croissante si et seulement si, pour tout entier n de IN, ….