ここ見たら
ttp://en.wikipedia.org/wiki/Mertens_function

Π[p](1−p^{−s})=Σ[n=1〜∞]μ(n)/n^s

と書いてあるので、(-1)乗を付け忘れたのではなく、
どうやら本当に Π[p_i≦m](1−1/p_i) のままで
やりたいようだな。でも、そうなるとやっぱり

lim[m → ∞] Π[p_i≦m](1−1/p_i) = 0

だから、μ(1)=…=μ(m) とするような評価じゃ、
評価が悪すぎて失敗で、証明できてないよな

>>112
頑張って英語で書くぜっていう気概は察してやるべきw