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