>>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 となる。これは矛盾 。