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