For a nonnegative martingale, the displayed maximal probability bound follows by stopping at the first crossing of . The stopped expectation is at most its initial expectation, and on the crossing event its value is at least . Bound the stopping time first and pass to the limit using nonnegativity. This form is useful for the Poisson maximal concentration bound.
New to topics? Read the docs here!