Para cada entero positivo $n$ definir $$f(n)=\varphi(n)+\varphi(n+1)-n$$ $\varphi(n)$ denota la totient-función.
Es $f(n)$ surjective en los enteros no negativos ?
El primer número entero no negativo $k$ por que yo todavía no encontrar un entero positivo $n$ con $f(n)=k$ es $k=998$. Si no hay solución de $f(n)=998$, ¿cómo puede ser probada ?