>>578
このレスで、07/16日の論文が間違っていると誤って考えてしまいましたが
n=1のときに、(3)の右側の式が成立しないのは当然です。

(log(p_{n+1})-log(p_n))/log(p_n)はp_{n+1}-p_n=log(p_n)が成立するnの場合
(実際にはlog(p_n)は整数になることはないので、このnは存在しませんと考えられる)
の式で、それが、(log(pn+1)-log(pn))/(pn+1-pn)という関数の上限になっています。

ということで、n=1のときに、(3)の右側の式が成立しなくても問題ありません。