>>76
完全に解決していても、証明を簡略化することはできる
最後の修正はpn<nlog(pn)をより簡単に証明する方法に書き換えた