Solution
Supposons par l’absurde disposer d’un ayant un nombre fini d’antécédents rangés par ordre croissant. Supposons sans perte de généralité que (on peut toujours remplacer par qui est toujours surjective). On a alors autrement on pourrait appliquer le théorème des valeurs intermédiaire à sur l’intervalle qui donnerait l’existence de tel que
Par ailleurs, étant continue sur , son image par est de la forme . Ainsi
Donc est minoré par ce qui contredit la surjectivité de

No messages yet.