4
Mobius関数μ(n)を次のように定義する。
n=1の時, μ(n)=1
nが素数の平方で割り切れる時, μ(n)=0
nが異なる素数k個の積の時, μ(n)=(-1)ᵏ
この時、n>1ならばΣ[d|n]μ(d)=0であることを証明せよ。