for all \(0 \le l\le L\) . Notice that the infimum is always attained. The following is the main result of this section; it tells us that \(\tau _l^L\)  is indeed the optimal stopping time for problem (REF ). It comes from [1]}.
