Def Def 28.1


Where is in Darboux upper sum

Def 30.1

Or

Basically we just need the parition be small enough.

Lemma 30.2

  1. for
    1. where it’s partition

Def 10.2