Limit of (Cosine (X) - 1) over X at Zero/Proof 4

Theorem

 * $\displaystyle \lim_{x \to 0} \frac {\cos (x) - 1}{x} = 0$