Chứng minh rằng nếu f(2p+1)(t) là đơn điệu trên khoảng [x,x+n+1] thì phần dư Tp(x,n) trong công thức Euler-Maclaurin VI, p. 288 (công thức (2)) có cùng dấu với số hạng
(2p+2)!1b2p+2(f(2p+1)(x+n+1)−f(2p+1)(x))
và có giá trị tuyệt đối không vượt quá giá trị tuyệt đối của số hạng này.
Nếu giả sử rằng f(2p+2) liên tục (nhưng có dấu bất kỳ), chứng minh rằng ta có