Bonjour,
il suffit de voir qu'entre 0 et 1 il y a une infinité d'irrationnels, et donc l'ensemble des éléments x \in [0,1] tels que f(x) < 1 (= {x tq f(x)=0} ) est de mesure (de Lebesgue) infinie.
On peut aussi prendre une subdision de l'intervalle [0,1] aussi fine que l'on veuille; et montrer aisément que l'intégrale supérieure de f (=1) relativement à cette subdivision est différente à l'intégrale inférieure de f (qui vaut 0 !).
Cordialement