For , put . The process , where , is a bounded martingale by part (a). Also almost surely: before exit the endpoint lies inside the radius- ball, whose Gaussian probability tends to zero as . Path continuity makes the terminal radius either or . If , the dominated convergence theorem applied to this bounded stopped martingale gives
Solving yields
The denominator is nonzero because is strictly decreasing for .
As , the events increase to . In one direction membership already implies a finite hit of ; in the other direction a continuous path up to its finite hit of has a finite maximum radius, so it lies in the event for every sufficiently large . Continuity from below of probability and now give

Articles by others on the same topic (0)

There are currently no matching articles.