>>416
これが反論だと言うのなら、全く同じ反論が件のゴミ文書にも通用して、ゴミ文書の証明は崩壊する。

1(log(p_2)−log(p_1)) ＜ log(p_1)
2(log(p_3)−log(p_2)) ＜ log(p_2)
：
：
k(log(p_{k＋1})−log(p_k)) ＜ log(p_k)

までは成り立っているとして、両辺を加えると

klog(p_{k＋1}) ＜ 2Σ[i＝1〜k]log(p_i)−log(2)

となる。もしここで (k＋1)(log(p_{k＋2})−log(p_{k＋1})) ＜ log(p_{k＋1}) が成り立たないなら、
log(p_{k＋1}) ≦ (k＋1)(log(p_{k＋2})−log(p_{k＋1})) なので、

(k＋1)log(p_{k＋2}) ＜ 2Σ[i＝1〜k＋1]log(p_i)−log(2)

が導出できず、お前の反論そのものがゴミ文書にも通用して、ゴミ文書の証明はここで失敗する。