Continuously differentiable/R/Definition