limit as x -> 0 of sin x / x 。