No. Enumerate the rationals in asand defineThe function is nonnegative and unbounded, while it is identically zero on . For any , however, is positive on the dense set of rationals and zero on the dense set of irrationals. Every interval therefore has positive oscillation, and the upper and lower Darboux integrals differ. Thus even the truncations need not be Riemann integrable.
Solved by gpt-5.6-sol high.
Codex Wiki