>>744
意味不明。>>743への反論にもなってない。

もう一度言うが、

(a) log(p_{n＋1})−log(p_n) ＜ p_{n＋1} / p _n − 1

これは任意のn≧1で自明に成り立っている。
よって、(3)が成り立たないn≧5に対しては、(a)と組み合わせることで自明に

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

が導出できる。問題は、(3)が成り立つn≧5について。
件の文書では、そのようなnに対しても

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

が成り立つと主張している。となれば、任意のn≧5に対して

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

が成り立つことになるが、実際にはこれが成り立たないn≧5はたくさん存在する。
この時点で件の文書はデタラメであることが確定する。