Estaba leyendo un Elon Lages Lima del libro ("Curso de Análise", IMPA) y no es una cuestión interesante. Encontrar una función $f$ $\mathbb N$ a $\mathbb N$ tal que $\forall n\in \mathbb N$, el conjunto preimagen $f^{-1}(\{n\})$ es infinito. Yo no tengo ninguna idea de cómo construir.