limit s to infinity s*pi/2 - s*atan[s/a] assuming a>0