limit as x -> 0 of (1 - cos x * cos(2x))/x^2 。(答: 5/2 。)