Ouais. Cette fonction monstrueuse est construite à partir de cet ensemble monstrueux :
http://fr.wikipedia.org/wiki/Ensemble_de_Cantor
C'est un ensemble de mesure de Lebesgue nulle, d'intérieur vide (intuitivement il est "vide" quoi), et pourtant il a la cardinalité de R, c'est-à-dire qu'on peut le mettre en bijection avec R.