eを自然対数の底とする。ｅ≦ｐ＜ｑのとき、
log(logｑ)-log(logｐ)＜ｑ-ｐ／ｅ
が成り立つことを示せ。