Pour la récurrence, tu as uo=4 > -2
Après tu suppose, que pour un certain rang n, n>0, un > -2, et tu montre que un+1 > -2 (ce sont des inégalités larges)
Pareil pour le I2) tu suppose que pour un certain rang n>0, un=500*0,9^n+1000, et tu montre que c'est vrai au rang n+1
Pour la I3) tu as bon, (un) est décroissante dans majorée par sont premier terme : 4, et comme est elle minorée par -2, ça donne (un) bornée.