If converged almost surely to a finite limit, then
But . These independent-event probabilities have divergent sum, so the second Borel-Cantelli lemmas says infinitely often almost surely, a contradiction.
If , then for every and fixed , there is an almost surely finite random such that
for and . The proof combines the derivative martingale, Markov inequality, a dyadic lattice, the Borel-Cantelli lemmas, and the Koebe distortion theorem.
Simultaneous returns of independent simple random walks Created 2026-09-24 Updated 2026-09-24
For independent symmetric walks on , the probability that all are at the origin at time is
The Borel-Cantelli lemmas therefore show that simultaneous returns occur only finitely often almost surely when .