 Solution

The Möbius function is defined by $\mu (1)=1$ and, for $n>1$,It is a multiplicative arithmetic function: $\mu (mn)=\mu (m)\mu (n)$ whenever $m$ and $n$ are coprime.

The summand $\mu (d{)}^2/\varphi (d)$ is multiplicative, so its divisor sum is multiplicative. For a prime power $p^a$ with $a\ge 1$, only $d=1,p$ contribute andMultiplying these local identities over the prime divisors of $n$ gives

For the final claim, choose distinct primes $p_0,\dots ,p_k$. The moduli $p_j^2$ are pairwise coprime, so the Chinese remainder theorem gives an integer $a$ satisfyingEvery positive integer $n\equiv a(\mathrm{mod}{\prod }_j{p}_j^2)$ then has $p_j^2\mid n+j$. HenceThere are infinitely many positive representatives of this congruence class.