Put . If , thenThe Doob maximal inequality for a nonnegative submartingale therefore givesThe right side is minimized at , and substitution gives
LetBecause , one always has : this is clear if no crossing occurs, and at the first crossing the overshoot is at most one increment. Apply the optional stopping theorem to the martingale from part (c):On the event one has , so . Since everywhere,Hence
Articles by others on the same topic
There are currently no matching articles.