I have difficulty proving this simple result: If , then for .

I want to use Cauchy condition to prove this. (If you know other simple proofs, please tell me.)

My attempt: Let . Since , there exists a partition of , such that . Pick . Then . I have no idea what to do now. How can I compare this with ? Those are completely different partition points.

Can someone also explain the arguments in this alternative proof?