Limit of (Cosine (X) - 1) over X at Zero

Theorem

 * $\ds \lim_{x \mathop \to 0} \frac {\cos x - 1} x = 0$