>>200
wikipediaによるとΣ[n≦x]μ(n) 〜 0 でこれは素数定理と同値だそうな。
https://en.wikipedia.org/wiki/Average_order_of_an_arithmetic_function
とするとΣ[n≦x]μ(n) = s(x) として
Σ[n≦x]μ(n)/n
= ∫[1-0,x] (1/x) ds(x)
= s(x)/x - 1 - ∫[1,x] (-1/x^2) s(x) dx
なので収束すると思う。