lim arctan(1/x) as x->0+