“…Moreover, since the right-hand sides of the corresponding normal form of the system of first-order nonlinear ordinary differential equations in (3.14) with (3.20)-(3.21) and (3.22) are (locally) Lipschitz in s, for s > K 1−i /L 1−i and every i = 0, 1, one can deduce by means of Gronwall's inequality that the functions g j,l (s), l ∈ N, are continuous, so that the functions g * j (s), j = 0, 1, are continuous too. The corresponding maximal admissible solutions of first-order nonlinear ordinary differential equations and the associated maximality principle for solutions of optimal stopping problems which is equivalent to the superharmonic characterisation of the payoff functions were established in [35] and further developed in [22], [34], [24], [16], [6], [25], [37]- [38], [21], [33], [30], [7], [17]- [19], and [40] among other subsequent papers (see also [39; Chapter I; Chapter V, Section 17] for other references).…”