atan(+Infinity)