Initialisation :
U(1) = V((1 + U(0))/2) = V((1 + 0)/2) = V(1/2) = 1/V2
1/V2 <= 1/V2 <= 1
Donc l´hypothèse est vérifiée pour n = 1.
Développement :
hypothèse : 1/V2 <= U(n) <= 1
U(n+1) = V((1 + U(n))/2)
U(n) <= 1 donc U(n+1) <= V((1 + 1)/2) = V(2/2) = 1
U(n) >= 1/V2 donc U(n+1) >= V((1 + 1/V2))/2)
V((1 + 1/V2))/2) = V((1 + V2)/V2/2) = V((1 + V2)/2V2)
1 + V2 >= V2 donc V((1 + V2)/2V2) >= V(V2/2V2) = V(1/2) = 1/V2
donc U(n+1) >= 1/V2
On a donc 1/V2 <= U(n+1) <= 1.
Conclusion :
Pour tout n >= 1, 1/V2 <= U(n) <= 1.