 Almost sure supermartingale convergence theorem

A nonnegative supermartingale, or more generally a supermartingale whose negative parts have uniformly bounded expectations, converges almost surely to a finite integrable random variable.