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