>>38
logx < x と e^x> (x^2)/2   という不等式です。