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