Maths WorkshopMaths problems with full solutions
Exercise 1492Calculus › Single-variable calculus › Integration › Riemann integralL1Added 2 Nov 2026

Integrability with one wild point

#Riemann integrability#Darboux criterion#oscillation

Statement

Let f(x)=sin⁡1xf(x)=\sin\dfrac1x for x∈(0,1]x\in(0,1] and f(0)=0f(0)=0. Prove that ff is Riemann integrable on [0,1][0,1], even though it is discontinuous at 00.

Hint

Use the Darboux criterion: ff is integrable if for every η>0\eta>0 there is a partition with Sσ−sσ<ηS_\sigma-s_\sigma<\eta. Isolate a tiny interval [0,ε][0,\varepsilon] around the bad point.

Show solutionHide solution

Solution

Idea. The oscillation of ff near 00 is large, but it happens on a very short interval, so it costs little area.

Setup. Fix η>0\eta>0 and choose ε∈(0,1)\varepsilon\in(0,1) with ε<η4\varepsilon<\frac\eta4.

On [ε,1][\varepsilon,1]. ff is continuous, hence integrable, so there is a partition σ′\sigma' of [ε,1][\varepsilon,1] with Sσ′−sσ′<η2S_{\sigma'}-s_{\sigma'}<\frac\eta2.

On [0,ε][0,\varepsilon]. Since −1≤f≤1-1\le f\le1, on this single interval M−m≤2M-m\le2, contributing at most 2ε2\varepsilon to S−sS-s.

Total. For the partition σ={0}∪σ′\sigma=\{0\}\cup\sigma' of [0,1][0,1],
Sσ−sσ<2ε+η2<η2+η2=η,S_\sigma-s_\sigma<2\varepsilon+\frac\eta2<\frac\eta2+\frac\eta2=\eta,
since 2ε<η22\varepsilon<\frac\eta2.
By the Darboux criterion, ff is integrable on [0,1][0,1].

Remark. The same argument shows that any bounded function with finitely many discontinuities is Riemann integrable. (Compare with the Dirichlet function, discontinuous *everywhere*.)