limit as x -> infinity of (sin x)/(x)