Let be a sequence of nonnegative Measurable Functions. Then:

(see lim inf)