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