American-Type Options

which, obviously, implies that, for α ≥ 0,

(4.201)

It remains to note that the proof of Lemma 4.4.2, which conditions (their univariate variants) are, also, required in Lemma 4.4.16, contains the proof of the following relation (in which constant K₆₀ should be replaced by constant K₆₆),

(4.202)

Relation (4.201) and (4.202) complete the proof.

The following lemma is the direct corollary of Lemma 4.2.4 and 4.4.15 – 4.4.16.

Lemma 4.4.17. Let be a ...