>>651
不等号に誤りがあり、混乱させてしまってすみません。
改めて質問です。

1<a<bを満たす実数が
log b - log a >= (log a)/a,
b - a >= log a
を満たすならば
(log b - log a)/log a <= f’(a)
が成り立つというのは正しいでしょうか？

a = p_n, b = p_{n+1}が[8]の場合ですが、私が聞きたかったのは一般の場合にこの命題は正しいのかということと、一般の場合に正しくないのならなぜa = p_n, b = p_{n+1}なら成り立つのか、ということです。