《实变函数简明教程》，P84，定理4.1（v）（非负简单函数的不等式关系 推导 相应的Lebesgue积分不等式关系）

P84，定理4.1

  若$\phi$和$\psi$都是可测集$E$上的非负简单函数，则有
(i). $0\le {\int }_E\phi \left(x\right)dx\le \infty$；
(ii). ${\int }_{E}c\phi \left(x\right)dx=c{\int }_E\phi \left(x\right)dx$，其中$c$为非负实数；
(iii). ${\int }_E\left(\phi \left(x\right)+\psi \left(x\right)\right)dx={\int }_E\phi \left(x\right)dx+{\int }_E\psi \left(x\right)dx$；
(iv). 又若$E=A\cup B$，$A\cap B=\varnothing$，$A,B\in M$，则
$${\int }_E\phi \left(x\right)dx={\int }_A\phi \left(x\right)dx+{\int }_B\phi \left(x\right)dx.$$
(v). 又若$\phi \left(x\right)\le \psi \left(x\right)\left(x\in E\right)$，则
$${\int }_E\phi \left(x\right)dx\le {\int }_E\psi \left(x\right)dx.$$

定理4.1（v）的第一种证明

由于$\phi$和$\psi$都是$E$上的简单函数，根据博文《实变函数简明教程》（邓东皋，常心怡编），第三章：可测函数，P60，关于 定义3.2中的简单函数的四则运算封闭性 的分析，可得
$$函数\psi -\phi 也是一个简单函数。$$
又由$\phi \left(x\right)\le \psi \left(x\right)\left(x\in E\right)$可推得
$$\psi \left(x\right)-\phi \left(x\right)\ge 0,x\in E.$$

1. 一方面，对非负简单函数$\psi \left(x\right)-\phi \left(x\right)$和$\phi \left(x\right)$应用定理4.1的（iii），可得
   $${\int }_E\psi \left(x\right)dx={\int }_E\left[\left(\psi \left(x\right)-\phi \left(x\right)\right)+\phi \left(x\right)\right]dx={\int }_E\left(\psi \left(x\right)-\phi \left(x\right)\right)dx+{\int }_E\phi \left(x\right)dx.$$
   对上式进行移项，可得
   $${\int }_E\psi \left(x\right)dx-{\int }_E\phi \left(x\right)dx={\int }_E\left(\psi \left(x\right)-\phi \left(x\right)\right)dx.$$
2. 另一方面，对非负简单函数$\psi \left(x\right)-\phi \left(x\right)$应用定理4.1的（i），得到
   $${\int }_E\left(\psi \left(x\right)-\phi \left(x\right)\right)dx\ge 0.$$
   基于式（1），式（2），我们可得
   $${\int }_E\psi \left(x\right)dx-{\int }_E\phi (x$$