La proposition est fausse.
Commençons par calculer
u1u1=f(u0) d'où
u1=f(2)=1On remarque que
u1≤u0.
On conjecture que la suite
(un) est décroissante.
Il faut donc démontrer cette conjecture par récurrence
Pour tout entier naturel
n, posons la propriété
Pn:un+1≤unEtape d'initialisationOn a vu précédemment que
u1≤u0.
La propriété
P0 est vraie.
Etape d'héréditéOn suppose qu'il existe un entier
k tel que la propriété
Pk soit vraie c'est-à-dire :
uk+1≤uk et vérifions si la propriété est également vraie au rang
k+1 c'est-à-dire :
uk+2≤uk+1Par hypothèse de récurrence,
uk+1≤uk , or
f est une fonction croissante sur
[2;9] , ainsi :
f(uk+1)≤f(uk) d'où :
uk+2≤uk+1 Ainsi la propriété
Pk+1 est vraie.
ConclusionPuisque la propriété
P0 est vraie et que nous avons prouvé l'hérédité, on peut en déduire, par le principe de récurrence que pour tout entier naturel
n, on a
Pn vraie, c'est à dire que pour tout entier naturel
n, la suite
(un) est décroissante.