function is differentiable at if its has a derivative there. Formally, the following two-sided limit expression must exist: