素数定理: π(n)〜n/log(n) を大雑把に解釈すれば、n番目の素数をp(n)としてp(n)〜nlog(n)と見ることができる。したがってpを素数として無限級数Σ(1/p)を考えると、以前の日記で作った式を使って、 Σ(1/p)〜Σ(1/nlog(n))〜∫(1/nlog(n)dn〜log(log(n)) となり…