>>294
間違ってるよ。帰納法になってない。

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

が導出できると、そこからなぜ

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

が導出できたことになるのか、その証明がない。
試しに、(iv)を使って(iii)を直接的に導出してみろ。絶対にできないから。

あと、(6)以前にそもそも(5)が間違ってて、こっちの方が致命的だからね。何度も書いてるけど。