Pour un >= 0 pas besoin de récurrence.
Pour un < 2 :
Initialisation : u0 = 0 < 2.
Hérédité : soit n un entier naturel quelconque fixé. Hypothèse de récurrence : un < 2. Montrons qu'alors u(n+1) < 2.
un < 2 => un + 2 < 4 => sqrt(un + 2) < sqrt(4) = 2 (par croissance stricte de la fonction racine), c'est-à-dire u(n+1) < 2.
Conclusion : pour tout n, un < 2.
J'ai peut-être pas rédigé exactement comme ton prof, mais l'idée est là.