>>818
変更点
・p_n<nlog(p_n)の証明を追加しました
・p_(n+1)-p_n<p_nlog(p_n)/nから証明するように変更しました

パスワードはodd prime

Firoozbakht予想 (日本語)
http://whitecats.dip.jp/up/download/1624287179/attach/1624287179
Firoozbakht予想 (英語)
http://whitecats.dip.jp/up/download/1624287248/attach/1624287248