>>123
ぶっちゃけ、前半の Theorem2 よりも後半の方が壊滅的なので、
汚いとか言わずに理解してほしいｗ

理解の補助となる計算式を書いておこう。まず

Σ[i≦x] 1/(ilog(i)) 〜 ∫[1, x] 1/(tlog(t)) dt ＝ [ log(log(t)) ]_{1, x} 〜 log(log(x))

なので、

Π[p_i≦xlog(x)](1−1/p_i) 〜 Π[ilog(i)≦xlog(x)](1−1/(ilog(i)))

〜 Π[i≦x](1−1/(ilog(i)) 〜 Π[i≦x] e^{−1/(ilog(i))} ＝ e^{−Σ[i≦x] 1/(ilog(i))}

〜 e^{−log(log(x))} ＝ 1/log(x).

これらの計算は大雑把なものだが、丁寧に不等式の形で正確に評価することも
もちろん可能で、やはり Π[p_i≦xlog(x)](1−1/p_i) 〜 1/log(x) となる