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

Theorem

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