>>300
どこがウソなんだよ。件の文書では、実際に(iv)の導出しか行っていないだろ。
これは事実だろ。(iv)から(iii)が導出できるとは一言も書いてないし、手計算も全くないだろ。

(iii) log(p_{n＋2})−log(p_{n＋1}) ＜ 2log(p_{n＋1}) / (n＋1)

(iv) p_{m＋1}＜10m^{3/2} / 11 が m≧17 のとき成り立つ

お前が帰納法の中で証明したのは(iv)にすぎない。
一方で、帰納法の本当のゴールは(iii)である。
そして、この(iii)が証明できないなら、帰納法は完成したことにならない。

試しに、(iv)を使って(iii)を直接的に導出してみろ。絶対にできないから。