素数階乗不等式
log(p_n#)<p_n
を完全に証明しました。この不等式とFiroozbakht予想により得られる不等式から
Fortune予想を完全に解決しました。
正しい証明をacceptしない論文誌に成り代わりまして報告させていただきます。