\lim_{x\rightarrow 0}\frac{1-\cos x}x^2=\frac 12