Differentiable function/R/Product rule/Function limit/Exercise