“…where T T −t denotes the set of stopping times less or equal to T − t with respect to the completed filtration of {Π t,π t+s } s≥0 . Note that all results for the perpetual problem (22) described above in this section also hold for the finite horizon problem (35), with the obvious modifications regarding the time horizon, by the same proofs. Moreover, the pay-off process in (35) is continuous and bounded, so standard optimal stopping theory (see, for example, [20, Corollary 2.9 on p. 46]) yields that τ T := inf{s ≥ 0 : Π t,π t+s / ∈ (b T 1 (t + s), b T 2 (t + s))} is an optimal stopping time in (35), where b T 1 and b T 2 are the corresponding boundaries enclosing the finite-horizon continuation region…”