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!