En fait, il faut savoir que la "formule"

n'est qu'un cas particulier de :
Si

(pour simplifier) est faiblement multiplicative, c'est à dire telle que f(ab)=f(a)f(b) lorsque pgcd(a,b)=1 alors
En fait, "formellement parlant", ce résultat est trivial et découle uniquement du fait que tout entier se décompose en produit de

, p premier. La seule petite difficulté est de montrer que la C.V. de la somme est équivalente à la C.V. du produit.
Remarque : si en fait f est fortement multiplicative, c'est à dire telle que f(ab)=f(a)f(b) pour tout a,b (par exemple
=\frac{1}{n^s})
est fortement multiplicative...) alors
+f(p^2)+f(p^3)+\cdots\ =\ 1+f(p)+f(p)^2+f(p)^3+\cdots\ =\ \frac{1}{1-f(p)})
et on a donc
Concernant l'exo, tu constate que les fonctions
}{n^2})
et
}}{n^2})
sont faiblement multiplicatives (mais pas fortement) donc ...
P.S. Dans la litérature sur ce domaine, on parle simplement de "fonctions multiplicatives" et pas de "fonctions faiblement multiplicatives", mais j'aime bien rajouter le "faiblement"...