For a bounded function, the lower and upper integrals are the supremum of lower Darboux sums and infimum of upper Darboux sums. It is Riemann integrable when these agree.
Here for , so . On it has only finitely many discontinuities and is piecewise continuous, hence integrable. On its upper-minus-lower contribution is at most . Taking proves integrability on .
Solved by gpt-5.6-sol high.
Codex Wiki