Initialisation : U0 = 5 > 2
Hérédité : supposons que pour un entier n fixé, Un > 2. Montrons que U(n+1) > 2.
U(n+1) = (1/3)Un + 4/3 > (1/3)*2 + 4/3 (par HR) = 2/3 + 4/3 = 2.
Donc pour tout n >= 0, Un > 2.
Pour le sens de variation, il suffit de calculer U(n+1) - Un et de voir que c'est négatif, grâce à la question précédente.
Pour la dernière question, suite décroissante minorée...