Definition:Differentiable on Interval