je me rappelle que j'ai déjà repondu à un exo pareil dans le forum mais je sais po où
on le demontre par recurrence :
on a f(O)=O ou f(O)=1 et f(1)=1 ou f(1)=O
mais puisque f(m)>f(n) si m>n donc f(O)=O et f(1)=1
on suppose que la propriété est vraie pour n>=2
-si n+1 est pair alors f(n+1)=f(2.n+1/2)=2f(n+1/2)=n+1 car n+1/2
-si n est impair aors n et n+2 sont pairs et f(n)=n et f(n+2)=f(2.n+2/2)=n+2 (car n+2/2
or f est strictement croissante et nd'où le résultat ^^