14/11/17 21:26:31.97
>>225
なるほど。
log x < √x
d/dx(√x - log x) = 1/√x * (1/2 - 1/√x) = 0
だから、√x - log xはx = 4のとき、最小値2 - log 4 = log e^2 - log 4 > 0をとる。
∴log x < √x
x > 1のとき、
0 < log x / x < 1/√xかつ
x -> ∞のとき1/√x -> 0だから
x -> ∞のときlog x / x -> 0。
みなさん、ありがとうございました。