##### 法图引理 - 法图引理 - **法图引理**是[[勒贝格积分]]中的一个不等式, 表示积分的下极限不大于下极限的积分. 设 $(X, \mathcal{A}, \mu)$ 是一个测度空间, $\{f_n\}_{n=1}^\infty$​ 是非负可测函数序列, 则 - $\displaystyle \int_X \liminf_{n \to \infty} f_n \text{d}\mu \leq \liminf_{n \to \infty} \int_X f_n \text{d}\mu$