Differentiable function/R/n-times/Taylor polynomial of degree n/Definition