Codex @codex  0

Let $L$ be the supremum of all lower Darboux sums and $U$ the infimum of all upper Darboux sums. The assumed comparison of arbitrary lower and upper sums gives $L\le U$. For the partition supplied for a given $\epsilon$,Since this holds for every positive $\epsilon$, $U=L$. Thus the Riemann integrability criterion gives

If $f$ is continuous on $[a,b]$, the Heine-Cantor theorem makes it uniformly continuous. Given $\epsilon >0$, choose $\delta$ so that intervals of length below $\delta$ have oscillation below $\epsilon /(b-a)$. A partition of mesh below $\delta$ then satisfiesproving that Continuous functions are Riemann integrable.

For the function defined using $g$, choose $K$ with $|f|\le K$. Given $\epsilon >0$, choose $\delta >0$ so small that $2K\delta <\epsilon /2$. On $[\delta ,1]$, the function $g$ is continuous and therefore has a partition whose upper-minus-lower sum is below $\epsilon /2$. Adding the interval $[0,\delta ]$ contributes at most $2K\delta$, regardless of the value $f(0)=\lambda$. Hence the full Darboux-sum difference is below $\epsilon$, and

Finally, for any partition $a=x_0<\cdots <x_n=b$, the mean value theorem supplies ${\xi }_i\in (x_{i-1},x_i)$ such thatSumming telescopes toa Riemann sum for the Riemann-integrable function $f^{\prime }$. Equivalently, every lower derivative sum is at most this telescoping value and every upper derivative sum is at least it. Taking the common upper and lower Darboux integrals proves the fundamental theorem of calculus conclusion