>>215
(1) を、Ｏ記号使わず

｜f(n)｜≦ K｜g(n)｜ (n＝1,2,3,…)

の形でちゃんと証明してごらん。
別の言い方をすると、もし(1)が成り立つなら

｜Σ[n≦m]μ(n)｜≦ K｜Σ[n≦m]μ(n)(m/n))｜ (n＝1,2,3,…)

を満たす定数 K が存在するはずだが、この K の具体的な値を言ってごらん。
たとえば、K＝2013と置けば成り立つのか？あるいは、K＝10^1000000 とすれば
成り立つのか？