Let be a Measure.
Let be a sequence of sets in
Suppose:

Then:

lim sup

Proof

It is easy to show:

as .
Also note that for any :

Now: