p>q≧e に対して、log(log p) - log(log q) < (p-q)/e

式の形を見た瞬間にどうやって作ったかが分かってしまうので一捻りしたかったが、思いつかなかった。
誰か一捻りしてﾊｱﾊｱできそうな不等式を作ってくりりん。