Taylor formula with integral remainder (source code)

= Taylor formula with integral remainder

If $f^{(m-1)}$ is locally absolutely continuous, then its Taylor remainder can be written as an integral involving the weak derivative $f^{(m)}$. This form permits norm bounds when the highest derivative is only integrable.