Comme on l'a montré à la question précédente, pour tout
n naturel, on a un
un≤n+3 ce qui équivaut à dire que la différence
n+3−un est positive, et elle le reste en étant multipliée par
31, donc la différence entre deux termes consécutifs étant positive, on confirme bien que notre conjecture était correcte : la suite
(un)n∈N est bien croissante, dès le rang 0.