22/07/23 15:32:12.72 lHh7747c.net
(log p_{n+1}-log p_n)/(p_{n+1}-p_n)≦F(p_n+log(p_n)) ②
上限F(p_n+log(p_n))はp_{n+1}-p_n=log(p_n)のときの値であるが
p_{n+1}-p_n=log(p_n)が成り立つnにおいて
F(p_{n+1})<f'(p_n)
が成立するのであれば、②は任意のnに対して成立するので
(log p_{n+1}-log p_n)/(p_{n+1}-p_n)<f'(p_n)
が成立することになる。