Definition:Differentiable Real-Valued Function at Point