For every positive integer $n$ define $$f(n)=\varphi(n)+\varphi(n+1)-n$$ $\varphi(n)$ denotes the totient-function.
Is $f(n)$ surjective on the non-negative integers ?
The first non-negative integer $k$ for which I yet did not find a positive integer $n$ with $f(n)=k$ is $k=998$. If there is no solution of $f(n)=998$, how can it be proven ?
Below are the numbers up to 1000, along with 998, that cannot be represented with any $n \leq 100000.$ It would appear that there is little hope for a proof by inequalities, we keep getting larger and larger numbers $n$ such that $\phi(n) + \phi(n+1) - n$ is one of these.