>>748
>>725

>>750
log(p_{n+1}-p_n)/log(p_n))<f'(p_n)はグラフから明らかだから、どんなnに対しても
(log(p_{n+1}-p_n)-log(p_n))/(p_{n+1}-p_n)<f'(p_n)が成立する。

グラフから明らかだと言うのは、p_{n+1}=aとして
F(a)=log(a-p_n)-log(p_n))/(a-p_n)
とすると、F(a)は単調減少関数になる。よって、p_{n+1}-p_nが下限であるlog(p_n)
のときに、F(a)は上限となる。