Formal Definition Of Derivative