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