>>541
＞(log b - log a)/(b-a) <= f’(a)
log(x)は上に凸のグラフだから、この不等式の等号は成立しない。

(log p_{n+1} - log p_n)/(p_{n+1}-p_n) < f’(p_n)
は恒等的に成立する不等式であり、p_{n+1}が下限値であるp_n+log p_nの場合でも
成立するから、上記の不等式の分母をlog p_nに置き換えても成立する。