>>379
Firoozbakht予想の証明は二つの不等式を数学的帰納法で証明しているもので
簡単な構造ですけど