Exercise: Let be a sequence of independent events with for all . Show that .
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 .