Soit I={n de N / u_n=<u_p qqs p>=n}
Si I est infini alors il existe f strictement croissante de N dans N telle que I={f(n)/ n de N}
==> (u_f(n)) est une sous suite croissante donc converge car bornée
Si I est fini ou vide soit m > Max I ou qcq si I vide
alors qqs n>m il existe p>n : u_n>u_p
pour n=m+1 il existe p_0>n : u_n>u_p0
pour n=p_0 il existe p_1>p_0 : u_p0>u_p1
ainsi de suite on construit une suite strictement croissante ( p_k) : u_p(k)>u_p(k+1) qqs k
la sous suite (u_p(k)) est décroissante donc converge