Bounded-increment optional stopping with integrable time

ID: bounded-increment-optional-stopping-with-integrable-time

For an integrable supermartingale with the displayed increment bound, . Thus the stopped values are dominated by one integrable random variable, including . Apply optional stopping at the bounded times and then the dominated convergence theorem. For a martingale the same proof gives equality.

New to topics? Read the docs here!