lim x-> 0 sin 1/x