lim (atan((x)/(x-1))), as x to infinity