A move swaps and with and , earning points.
Consider the weighted sum
Only two terms change in a swap. Its increase is
Since , this increase is at least the points earned.
So every earned point must be paid for by an increase in . If we bound how far can increase, we also bound the total score.
Equality holds for a move exactly when its two values differ by . We will use that later.