的推出定理的成立，例如阶梯函数或足够光滑的函数（如formula_23的函数）。证明的思路是首先证明对一类简单的函数定理成立，然后再利用这一类函数在可积函数函数集合中的稠密性，将每个可积函数看成是一列此类函数的极限，于是由函数的可积性可以使用勒贝格控制收敛定理，证明对于一般可积函数的情况。例如，对于在某个区间["a", "b"]上连续可导的函数（即formula_23的函数），运用分部积分法可以很容易地证明定理成立。运用分部积分法可以得到：由于 formula_2 是formula_23的函数，f