あえて書くならば

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

がtheorem2

により

√m×1

に近く、

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

かな