メビウス関数は初等整数論で出てくる。ドイツの数学者メビウス（メビウスの輪で有名）の創案による関数である。 以下の様な定義である。 μ(n) = 0 （n が平方因子を持つ（平方数で割り切れる）とき） μ(n) = (-1)^k （n が相異なる k 個の素因数に分解される…