3-u0<=(2/3)^0
donc propriété vraie au rang initiale.
Supposons la propriété vraie au rang n, par hypothèse de réccurence,
3-un<(2/3)^n
Au rang n+1,
un<un+1 <=> -un>-un+1 <=> (2/3)^n>3-un>3-un+1
<=> (2/3)^n>3-un+1 <=> (2/3)^(n+1)>(3-un+1)*2/3
et 1<2/3 pour un<0, un<2/3un
Donc (2/3)^(n+1)>3un+1
Et la propriété devient vraie au rang suivant.
Donc d´après le raisonnement par réccurence, 3-un<(2/3)^n est vraie pour tout n€IN.