For Brownian motion started at zero, condition at time . If the stopping time exceeds while the running absolute maximum stays below , the path must remain in a fixed interval for another time units. Its expected exit time from this interval is at most . Markov's inequality yields the displayed bound. Integrating it against for a function of moderate growth, then absorbing the small tail term, proves .

Articles by others on the same topic (0)

There are currently no matching articles.