>>530
b/a = x^2 とおいて x>1 で
(x^2-1)/(1+x^2) < logx < (1/2)(x - 1/x) を証明する。

f(x) = (1/2)(x - 1/x) - logx とおくと
f(1) = 0 , f '(x) = (x^2+1)/(2x^2) - 1/x = (x-1)^2/(2x^2) > 0
よって　f(x) > 0

g(x) = log x - (x^2-1)/(1+x^2) とおくと
g(1) = 0 , g '(x) = 1/x - 4x/(x^2+1)^2 = (x^2-1)^2/{x(x^2+1)} > 0
よって　g(x) > 0