Function/R/Infinitely often differentiable/Taylor series/Definition