The continuous approximation of a Riemann-integrable function follows here by choosing partitions with upper-minus-lower sum below . On each subinterval choose the midpoint of the infimum and supremum to form a step function . ThenReplace each of the finitely many jumps of by a linear transition on intervals of sufficiently small total length, obtaining a continuous with . Hence , and uniformly for every subinterval ,
Solved by gpt-5.6-sol high.
Codex Wiki