>>892

log(k) > (1/2)log(kk-dd) = {log(k+d) + log(k-d)}/2,

y=log(x) は上に凸だから、x=kでの接線より下側にある。
k-d<x<k+d かつ接線より下の台形の面積は（接線の傾きによらず）2d log(k)
∴　2d log(k) > ∫[k-d,k+d] log(x)dx