À l'aide du théorème de Baire, montrer qu'un fermé dénombrable non vide X de
R a ... Soit f une application définie sur un espace métrique complet (X,d), à
valeurs réelles et ... Montrer qu'il existe un ouvert non vide O sur lequel f est
majorée. 
