Integrability with one wild point
Statement
Let for and . Prove that is Riemann integrable on , even though it is discontinuous at .
Hint
Use the Darboux criterion: is integrable if for every there is a partition with . Isolate a tiny interval around the bad point.
Show solutionHide solution
Solution
Idea. The oscillation of near is large, but it happens on a very short interval, so it costs little area.
Setup. Fix and choose with .
On . is continuous, hence integrable, so there is a partition of with .
On . Since , on this single interval , contributing at most to .
Total. For the partition of ,
since .
By the Darboux criterion, is integrable on .
Remark. The same argument shows that any bounded function with finitely many discontinuities is Riemann integrable. (Compare with the Dirichlet function, discontinuous *everywhere*.)