Le 21 avril 2022 à 23:44:23 :
Il serait plus judicieux d'attaquer l'intégrale de Riemann avec les sommes de Darboux comme le fait Zorich 
Non, il y a beaucoup mieux 
On dit d'abord qu'une fonction $f$ est intégrable (au sens de Riemann) si pour tout $\varepsilon > 0$, il existe des fonctions en escalier $\varphi$ et $h$ telles que $|f-\varphi| \le h$ et $\int h \le \varepsilon$.
Les ensembles $I_{\varepsilon} = \{\int \varphi ~|~ \varphi, h \text{ en escalier telles que }|f-\varphi| \le h \text{ et } \int h \le \varepsilon\}$ forment alors une base de filtre de Cauchy, enfin on définit l'intégrale de Riemann de $f$ comme la limite du filtre associé 
La construction se généralise aux fonctions à valeurs dans un espace de Banach, et tant qu'on y est on peut définir l'intégrale de Riemann-Stieltjes. 