Solution (source code)

= Solution

If $f$ has $n+1$ <derivatives> near $x_0$, then $f(x)=\sum_{k=0}^nf^{(k)}(x_0)(x-x_0)^k/k!+f^{(n+1)}(\xi)(x-x_0)^{n+1}/(n+1)!$ for some intermediate $\xi$.