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