Almost sure supermartingale convergence theorem
= 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.