lim(x(pi-arccot(x)))