$$f(x) = \begin{cases}(1-\cos x)/x & x \neq 0\\0& x=0\end{cases}$$
I am asked to prove if it is continuous at $x_1=0$
$$|f(x)−f(c)|<\varepsilon$$
Since $$1-\cos(x)=2\sin^2(x/2)$$
then $$\left|\frac{2\sin^2(x/2)}{x}-0\right|<\varepsilon$$
I let $|x-c|<\delta$, thus $|x|<\delta$. By the Archimedean Principle, $1/|x| < \delta$
Since $\sin^2(x/2)$ lies between 0 and 1, then $$\left|\frac{2}{x}\right|<\varepsilon$$
Now let $\delta=\varepsilon/2$, then $$\left|\frac{2}{x}\right|<2\left(\frac{\epsilon}{2}\right)=\epsilon$$
So it is continuous?
I tried as best as I could to code. If anyone could point out where my mistake is in proving, I would appreciate it as I'm struggling with real analysis.
$$\lim_{x \rightarrow 0}{\frac{1 - \cos(x)}{x}} = \lim_{x \rightarrow 0}{\frac{\sin(x)}{1}} = 0.$$
– Jose Arnaldo Bebita Dris Nov 20 '14 at 12:04