For all humankind
Academicsubsite
ZixuanZhang
ZixuanZhang
Ponder...

Monotonicity implies Integrability

Every monotone function is Riemann integrable.

Proposition 4.11
Let . If is monotone, then is Riemann integrable.

Proof

A monotone on is bounded by , and for any partition

The extrema of a monotone function on are attained at the endpoints: assuming WLOG that is increasing, and , so

For the uniform partition every subinterval has length and the sum telescopes:

so the sequential integrability criterion applies.

Related

Stated in