>>142
>>127 の計算により、mに寄らない定数 C_1＞0, C_2＞0 が存在して

C_1 ≦ α_m / log(m) ≦ C_2

が成り立つ。
(真面目に計算すると、実際には log(log(log(m))) みたいな微小なゴミはくっつくかもしれん)。
これと α_mβ_m ＝ m から

C_1 ≦ m / (β_m log(m)) ≦ C_2

が成り立ち、式変形して

(1/C_2)(m/log m) ≦ β_m　≦ (1/C_1)(m/log m)

が成り立つので、想定しうるゴミの項を考慮しても、
β_m は √m のオーダーとは関係がなく、
α_m とか β_m とかでは証明できないはず

あと、Theorem3 の右辺は m/log(m) のオーダーなので、
この時点で Σμ(n) の評価としては大きすぎて失敗してる。
つまり、やり直すなら Theorem3 から修正しないといけない