Question: is cos x differentiable everywhere?
Answer: Theorem The function cos x is differentiable everywhere, and its derivative is -sin x.