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