Almost sure supermartingale convergence theorem (source code)

= 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.