lim arctg(x)