Let be two partitions of such that

                              
                     and
                              

i.e., has all the points of and an extra point in the subinterval. Then

Since is greater than or equal to both and clearly,

Thus, becomes smaller and becomes larger if we add more points to the partition .