>>33
log(a)[b]をaを底とするbの対数と呼ぶことにする.
底を省略する場合eが底であるとする.
logx[(x^2+1)/2]= log(((x^2+1)/2x)
(x^2+1)/2xはx>1で単調増加より, log(((x^2+1)/2x)も単調増加.

単調増加なのは当たり前