>>613
(2)ではなく(3)の話です。
p_n を固定して p_{n+1} を大きくしていくと(3)の右側の不等号が成り立たなくなってしまうと思うのですが、これは >>606 が正しいとするとおかしいのでは、ということです。