Use the tree's natural filtration. The stopping times take values in the process horizon . Construct a dominating supermartingale by backward comparison, the finite-horizon Snell envelope. At time two put . At time one the continuation values are
Compare these with immediate rewards and to obtain on the upper branch and on the lower branch. Finally set
These definitions explicitly give , , and . Thus is a supermartingale. By part (ii), its stopped process is a supermartingale, so for every allowed ,
The reward process itself need not be a supermartingale; the constructed majorant is what proves the bound.

Articles by others on the same topic (0)

There are currently no matching articles.