>>206
間違ってる。Σ[n≦m]μ(n) は有界ではないのに、その議論だと有界になってしまう。

Σ[n≦m]μ(n)(m/n) ＝ 1 と Σ[n≦m]μ(n) ＝ O(Σ[n≦m]μ(n)(m/n)) により
Σ[n≦m]μ(n) ＝ O(1) となる。すなわち、ある定数 K＞0 が存在して
｜Σ[n≦m]μ(n)｜≦ K となる。これは矛盾 。