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