>>239
その計算を額面どおりに受け取ると、次の議論も言えてしまうように見える。
まず、α は m^{1/3} に近いとする。このとき、

Σ[n≦α]μ(n)[m/n]

がtheorem2

により

m^{1/3} × １

に近く、

limΣ[n≦α]μ(n)[m/n]/m^{1/3}=1(ｍ→∞)

となる