oui voila . generalement on a :
v(n+1)=n+v((n))
comme v(n)£IN : v(n+1)>= n donc v(n)>=n-1 , (*)
donc v((n))>=v(n)-1
==> v(n+1) >= v(n)-1 +n ==>v(n) est croissante
donc puisque on a v(n+1)>=v((n))
alors n+1>=v(n) (**)
de (*) et (**) et puisque v(n) £IN : v(n)=n
ms n-->n ne verifie pas la relation que verifie v(n)
c/c: ...