rmula_15。证明：对函数列formula_16应用法图引理即可。
推广.
推广到任意实值函数.法图引理不仅对取正值的函数列成立，在一定限制条件下，可以扩展到任意的实值函数。令formula_2为测度空间("S","Σ","μ")中的一列可测函数，函数的值域为扩展实数（包括无穷大）。如果存在一个在 "S" 上可积的正值函数 "g" ，使得对所有的 "n" 都有formula_18，那么证明：对函数列formula_19应用法图引理即可。Sect