Cho f là một hàm thực tăng, lồi, liên tục trên một khoảng [0,a], và sao cho f(0)=0. Nếu a1≥a2≥⋯≥an≥0 là một dãy giảm hữu hạn các điểm trong [0,a], chứng minh rằng ta có
f(a1)−f(a2)+⋯+(−1)nf(an)≥f(a1−a2+⋯+(−1)n−1an). (Có thể hạn chế về trường hợp
n=2m là chẵn; chú ý rằng với
1≤j≤m ta có
∫αβf′(t)dt≤∫a2j−1a2jf′(t)dt trong đó
α=a2j+1−a2j−2+⋯+a2m−1−a2m và
β=α+(a2j−1−a2j).)