J'ai un petit question en suite dont j'ai pas arrivé a trouvé la solution

On a:
U0=1
Un+1=Un + (2/Un)
1) j'ai montré par recurrence que Un>0
2)a) j'ai montré que (Un+1)²-Un² >= 4 (>= veut dire superieur ou égale..)
b) Le question que j'ai pas arrivé a repondre c'est de déduire que Un >= 2 racine(n) ( Un >= 2*sqrt(n) pour mieux comprendre ).
J'ai essayé de la montré par l'itération par somme en faisant:
(Un+1)²-Un² >= 4 sig
(U1)²-U0² >= 4
(U2)²-U1² >= 4
.
.
.
.
(Un+1)²-Un²>=4
en faisant la somme on trouve (Un+1)²-U0 >= 4n et je suis bloqué je sais pas quoi faire.
Ps; je suis nouveau aussi, c'est ma premiere post ^^
