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: