Jusque là ça va. 
Soit la suite définie par
- x_0 = 1
- x_(n+1) = (x_n)/2 + 1/(x_n)
Montrer que pour tout entier n, x_n < sqrt(2).
Et si t'es chaud, tu peux aussi montrer que cette suite est croissante et qu'elle converge vers sqrt(2).
Et si t'es encore plus chaud, tu montres qu'à chaque itération, on double le nombre de bonnes décimales dans l'approximation de sqrt(2).