Algebraic Number Theory
《Algebraic Number Theory》 · 第 500 页 · Appendix B「Bernoulli numbers and the Euler–Maclaurin summation formula」, Theorem B.5
Theorem B.5 (Euler–Maclaurin) Suppose that $K$ is a positive integer and that $f$ has continuous derivatives through the $K$th order on the interval $[a,b]$ where $a$ and $b$ are real numbers with $a<b$.