Homepage › Solution manuals › Stephen Abbott › Understanding Analysis › Exercise 8.1.2
Explain why U ( f , P ) − U ( f , P ′ ) ≥ 0 .
P ′ is a refinement of P , so by Lemma 7.2.3, U ( f , P ′ ) ≤ U ( f , P ) .