You are currently browsing the tag archive for the ‘optional stopping theorem’ tag.
The optional stopping theorem (OST) gives that if is a martingale and is a bounded stopping time, then .
Now take a Brownian motion , which is a martingale, and the stopping time . Obviously and OST says that .
So what went wrong? Well quite simply, I did not check that was actually bounded. Why is it not bounded you say? No? Ok, well I’m going to tell you anyway; it is not bounded because there are many paths that trail below 0 which never hit 1. To properly show this, one must first calculate the supremum of the Brownian motion, then work out the probability that it is less than 1.
Rather nice reminder to always check that the stopping times are bounded before applying the OST. This was provided in a lecture by Nathanael Berestycki.