ln(2x/(x^2+1)) as x to inf