>>231
把握した。すまない。こちらのミスだった。
mも(m＋l)も n に依存してないからΣの外に出せるんだな。

では次の質問。この帰納法によれば、0＜Σ[n≦m]μ(n)m/n であるような
m についてしか議論してないが、0＞Σ[n≦m]μ(n)m/n の場合はどうするのか？