MDLD/differentiable (higher R)

Start=differentiable (higher R) Target=Real function/Higher derivative/Recursive/Definition