Estoy tratando de probar %#% $ #%
Mi primera realización fue que iff #% el $$\sum_{m|n} \mu(m)^2/\phi(m) = n/\phi(n)$% #% o $\mu(m)^2 = 1$ es un factor squareless de $m=1$ y si no es 0. Sea $m$ el conjunto de factores squarefree del $n$.
Así que ahora tenemos una suma ${1,m_1,m_2, ... m_k}$ $
¿Cómo demuestro la suma es igual a $n$? ¿O voy en la dirección equivocada?