lim x -> 0 of sin(1/x