Brownian exit-skeleton clock convergence

ID: brownian-exit-skeleton-clock-convergence

Unit-radius Brownian exit time has finite variance, since independent unit-time increments give an exponential upper tail. The Brownian exit-time skeleton clock after radius- exits has mean and variance . Chebyshev's inequality and the Borel-Cantelli first lemma yield the displayed pathwise convergence. Independence between different rows indexed by is unnecessary.

New to topics? Read the docs here!