lim_(x->0) ln(2+sqrt(arctan(x)*sin(1/x)))