変更点
・pn<nlog(pn)の不等式の証明を追加しました

パスワードはodd prime

Firoozbakht予想 (日本語)
http://whitecats.dip.jp/up/download/1618354911/attach/1618354911.pdf
Firoozbakht予想 (英語)
http://whitecats.dip.jp/up/download/1618355737/attach/1618355737.pdf