Exercise: Let be a sequence of independent events with
for all
. Show that
.
Solution:
which by independence means that
. Now since
, we know that for any
, which means that
Now suppose
f.o. Then for sufficiently large
. Thus the set
f.o., can be written as
, which is a countable union of sets of measure
by the above reasoning. Thus
.