Definition:Differentiable Real-Valued Function