Differentiable function/D in R/Via limit/Definition