exists.
More explicitly, if the function is differentiable at , that is if the limit exists, then this limit is called the derivative of at .
If is a function that has a derivative at every point in its domain, then a function can be defined by mapping every point to the value of the derivative of at ; it is called the derivative function or the derivative of , and we say is differentiable.