Wondering about a simple definition - when is a function differentiable?