Limit of Tan X over X at Zero

Theorem

 * $\displaystyle \lim_{x \to 0} \frac {\tan x} x = 1$