Para un número natural $n$, $f(n)$ se define como el número de enteros positivos menores que $n$ que no son ni coprimos con $n$ ni divisores de él. Demostrar que para cada entero positivo $k$ existen sólo finitamente muchos $n$ que satisfacen $f(n) = k$.