MDLD/derivative (point R)

Start=derivative (point R) Target=Differentiable function/D in R/Via limit/Definition