修正不可能な致命的な誤り　その2

4ページ目で

(A) mlog(p_{m＋1}) ＜ 3Σ[k＝1〜m] log(p_k) − 2log(2)

という不等式が導出されている。ここで一旦(A)は保留状態になり、これとは全く別の不等式である

p_n/2 ＜ Σ[k＝1〜n] log(p_k)　… (7)

が証明される。そして、再び(A)に戻り、(7)を用いて

(B) mlog(p_{m＋1}) ＜ 3p_m/2 − 2log(2)

という不等式が導出される(6ページ目の中央付近)。
しかし、ここは明らかに間違っている。(7)と(A)を組み合わせても、(B)は導出できない。
そして、(B)が導出できないなら、この後に控えている不等式(6)の証明に失敗する。