Let f : [a, b] - r be a function. suppose p {xo,} c a, band t t, t2, , n,} c [a, b] is a partition pair. we say that a partition p' refines p if and only if p c p'. show that l(f, p) l(f, p°). (this is part of a result known as the refinement principle.)