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 givesSolving yieldsThe denominator is nonzero because is strictly decreasing for .
Articles by others on the same topic
There are currently no matching articles.