lim sin(1/x) as x->infinity