Is the function $$f(x) = \begin{cases} 1 & x\leq0 \\ \cos(x) & x\geq 0 \end{cases}$$ differentiable at $x=0$? Is it continuously differentiable?
How can I check it? I see that $$\lim_{x\to0^+}\frac{\cos(x) - 1}{x},$$ and
$$\lim_{x\to0^-}\frac{1-1}{x-0},$$
but how can I conclude from here?
