ThmDex – An index of mathematical definitions, results, and conjectures.
F9912
Formulation 2
Let $f, g : [a, b] \to \mathbb{R}$ each be a D1760: Riemann integrable real function such that
(i) \begin{equation} \forall \, x \in [a, b] : f(x) \leq g(x) \end{equation}
Then \begin{equation} \int^b_a f(x) \, d x \leq \int^b_a g(x) \, d x \end{equation}