Let $r_{0} \in \mathbb{R}$ and consider the function $g_{0}: \mathbb{R} \backslash\{0\} \rightarrow \mathbb{R}$ defined by
$$
g_{0}(x):=\left\{\begin{array}{ll}
\cos (1 / x) & \text { if } x \neq 0 \\
r_{0} & \text { if } x=0
\end{array}\right.
$$
Show that $g_{0}$ is not continuous at $0 .$ Define $G_{0}: \mathbb{R} \rightarrow \mathbb{R}$ by $G_{0}(x):=$ $\int_{0}^{x} \cos (1 / t) d t$. Show that $G_{0}$ is differentiable at 0 and $G_{0}^{\prime}(0)=0$, that is,
$$
\lim _{x \rightarrow 0} \frac{1}{x} \int_{0}^{x} \cos \frac{1}{t} d t=0.
$$