limit as x -> 0 of (1 - cos x)/x^2 。