素数はthinでは無い

素数を$p_1,p_2,\ldots$と書くと[1]より$p_n\sim n\log n$なので,ある$N\geq 3$があり,$n\geq N$なら$p_n\geq\frac{n\log n}{2}$である.
$$ \sum _{n\geq N}\frac{1}{p_n}\geq\frac{1}{2}\sum_{n\geq N}\frac{1}{n\log n}\geq\frac{1}{2}\int _N^{+\infty}\frac{dx}{x\log x}=\left[\log\log x\right]_{N-1}^{+\infty}=+\infty. $$