Soit U={U_n/n€IN}, U est une partie de IN majorée
==> U est finie
==> U={U_n1,...,U_np} avec U_n1<...<U_np
Pour tout i de 1 à p il existe j de 1 à p telque
u_(ni+1)=U_nj=f(Uni) ==> ni+1=nj
Donc, quitte à effectuer une permutation de {1,..,p}
on peut suppser que le ni sont consécutifs.
==> U_n périodique