あえて書くならば

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

がtheorem2

により

√ｍ×１

に近く、

limΣ[n≦α]μ(n)[m/n]/√ｍ=1(ｍ→∞)

かな