Bounded local martingale criterion (source code)

= Bounded local martingale criterion

A uniformly bounded <local martingale> is a true <uniformly integrable martingale>: a <localizing sequence> gives uniformly dominated stopped values, so their conditional identities pass to the limit. A deterministic bound on each compact time interval gives a true <martingale> on each such interval, even when the bound grows with time.