< back to index
Let (fn)(f_n) be an increasing sequence of non-negative measurable functions.
Then ∫limsupn→∞f≤limsupn→∞∫fn\int {\lim \sup}_{n \to \infty} f \le {\lim \sup}_{n \to \infty} \int f_n
all these pages adapted with probably insufficient credit from my university's lecture notes