Pour tout entier naturel 
n, posons la propriété 
Pn:un≥4000 .
Etape d’initialisationOn sait que 
u0=10 000 ainsi 
u0≥4000. 
La propriété 
P0 est vraie.
Etape d’heˊreˊditeˊOn suppose qu'il existe un entier 
k tel que la propriété 
Pk soit vraie c'est-à-dire    
uk≥4000 et vérifions si la propriété est également vraie au rang 
k+1 c'est-à-dire 
uk+1≥4000Par hypothèse de récurrence :
uk≥4000 , on multiplie par  
0,95 de part et d'autre de l'inégalité
0,95uk≥4000×0,950,95uk≥38000,95uk+200≥3800+2000,95uk+200≥4000uk+1≥4000Ainsi 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≥4000