Σ[n≦m]μ(n)[m/n] = 1

は認めますか?