limit ( x * ln( ( 2/pi ) * arctan(x)) ) when x goes to infinity