>>77
＞最後の修正はpn<nlog(pn)をより簡単に証明する方法に書き換えた

そうか。これが最後なのか。だったら、今後一切、もう絶対に修正しないことを誓え。