Classique! Soit A={x de J / f(x)>=x} . A est une partie non vide ( contient a ) et bornée. Soit c= Sup A
Pour tout x de A, x =< c ==> x=< f(x)=<f(c) ==> f(c)>=c.
On a f(f(c)) >=f(c) et f(c) dans J ==> f(c) dans A ==>f(c)=<c.
Donc f(c)=c
_________________
وقل ربي زد ني علما