Given , choose a partition of whose upper-minus-lower sum is below , and refine it by inserting . The contribution from subintervals lying in is nonnegative and no larger than the total difference. Restricting the refined partition to therefore gives upper-minus-lower sum below , so the criterion proves integrability there.
Solved by gpt-5.6-sol high.
Codex Wiki