lim (acot(atan(x)), as x to 0