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!