Pour tout entier naturel
n, posons la propriété
Pn:un≥1520 .
Etape d'initialisationOn sait que
u0=3000 ainsi
u0≥1520.
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≥1520 et vérifions si la propriété est également vraie au rang
k+1 c'est-à-dire
uk+1≥1520Par hypothèse de récurrence :
uk≥1520 , on multiplie par
0,95 de part et d'autre de l'inégalité
0,95uk≥1520×0,950,95uk≥14440,95uk+76≥1444+760,95uk+76≥1520uk+1≥1520Ainsi 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, on a bien :
un≥1520