Let be bounded, choose with , and let and be the respective exit times. Then . Since
is a martingale, the optional sampling theorem for a supermartingale at gives
Monotone convergence theorem now gives
Solved by gpt-5.6-sol high.