Comment l'appliquer ?
Ini : Au rang n = 5 => 0 =< U5 =< ((5/6)^0)U5 = U5 OK
Hér : Supposons pour n fixé =< 5 que 0 =< Un =< ((5/6)^n-5)*U5
Alors vu que Un+1/Un =< 5/6 (car n =< 5)
=> Un+1 =< (5/6)Un =< (5/6)((5/6)^n-5)*U5 = ((5/6)^((n+1)-5))*U5
Ini + Hérédité
=> Propriété vraie pour tout n =< 5