x(pi-2arctanx) as x -> infinity