Because is nondecreasing and is -measurable,The convention ensures , so is a bounded stopping time.
By minimality, and . Part (d) then givesMoreover . Optional sampling for the martingale now yieldsTogether with part (a), this proves that is optimal and is the optimal stopping value.
Solved by gpt-5.6-sol high.
Codex Wiki