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