>>391
x>0 のとき e^x>1+x+x^2/2>x^2/2、逆関数を考えると logx<√(2x)