Let be a sequence of nonnegative Measurable Functions.
Then:

(see lim inf)