>>806
＞p_{n+1} > p_n + log p_n でも
＞(log p_{n+1}-log p_n)/(log p_n) < log(n+1) - log n
これは違います。

(log(11)?log(7))/(11-7)=0.1129...
(log(7+log(7))?log(7))/log(7)=0.1260... ←p_{n+1} > p_n + log p_nの場合はこうなります
1/7=0.1428
log(5)-log(4)=0.2231...

(log(11)?log(7))/(11-7)<(log(7+log(7()?log(7))/(log(7))<log(5)-log(4)
で何の問題もありません。