min lim of sin(x) as x -> infinity