>>614
(2)の左の不等式は常に成立します。(2)の左の項の上限は、(log(pn+1)-log(pn))/log(pn)になります。
よって、(3)の右の不等式は成立します。

>>615
他の高木がいるのでしょうか？