On veut montrer par récurrence que
.Initialisation : Pour

on doit avoir

donc on doit prendre

.
Hérédité : Supposons que pour un certain entier

on ait

.
^3}\big)\leq\big(3-\frac{a}{n}\big)\big(1\!+\!\frac{1}{(n+1)^3}\big))
Donc l'hérédité va fonctionner
à condition d'avoir \big(1\!+\!\frac{1}{(n+1)^3}\big)\leq3-\frac{a}{n+1})
Ce qui, après développement et mise au même dénominateur donne
n+2a}{n^3(n\!-\!1)}\geq0)
Donc l'hérédité fonctionne à condition que
pour tout
Bilan : Toute valeur

vérifiant les deux condition en rouge va fonctionner. Pour faire au plus simple, on peut par exemple prendre

vu que dans ce cas, on a
n+2a\!=\! n^2\!-n+2=\big(n-\frac{1}{2}\big)^{\!2}\!+\frac{7}{4}\!\geq\!0)
pour absolument tout entier

.
Et si ça t'amuse, si on fait la même chose avec

, on montre facilement que la récurrence marche par exemple pour

et

ce qui donne un majorant un peu meilleur (à savoir

) de la suite
_{n\geq 1})
.