Firoozbakht予想の証明

>>747
質問その1：

n^2 / p_n ＞ (n＋1)^2 / p_{n＋1}　… (3)

が「成り立たない」ようなn≧5に対しては

log(p_(n+1))-log(p_n) ＜ (1＋1/n)^2−1

が成り立つ。このことは認めるか？

・ はい、認めます。
・ いいえ、認めません。反例となる n は n＝〇〇です。

このいずれかで返答せよ。