n番目の素数が
[nlogn+2]
以下になるって簡単に証明できますか？できるなら証明を知りたいです。