A Proof Using The Optional Stopping Theorem
Assume (1), (5), (8), (10), (11) and (12). Using assumption (1), define the sequence of random variables
Assumption (11) implies that the conditional expectation of Xn given Fn–1 equals E almost surely for every n ∈ N, hence (Mn)n∈N0 is a martingale with respect to the filtration (Fn)n∈N0 by assumption (12). Assumptions (5), (8) and (10) make sure that we can apply the optional stopping theorem, hence MN = SN – TN is integrable and
-
(13)
Due to assumption (8),
and due to assumption (5) this upper bound is integrable. Hence we can add the expectation of TN to both sides of Equation (13) and obtain by linearity
Remark: Note that this proof does not cover the above example with dependent terms.
Read more about this topic: Wald's Equation
Famous quotes containing the words proof, optional, stopping and/or theorem:
“He who has never failed somewhere, that man can not be great. Failure is the true test of greatness. And if it be said, that continual success is a proof that a man wisely knows his powers,—it is only to be added, that, in that case, he knows them to be small.”
—Herman Melville (1819–1891)
“Our father presents an optional set of rhythms and responses for us to connect to. As a second home base, he makes it safer to roam. With him as an ally—a love—it is safer, too, to show that we’re mad when we’re mad at our mother. We can hate and not be abandoned, hate and still love.”
—Judith Viorst (20th century)
“There seems to be no stopping drug frenzy once it takes hold of a nation. What starts with an innocuous HUGS, NOT DRUGS bumper sticker soon leads to wild talk of shooting dealers and making urine tests a condition for employment—anywhere.”
—Barbara Ehrenreich (b. 1941)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)