Recurrence of one-dimensional Brownian motion (source code)

= Recurrence of one-dimensional Brownian motion

One-dimensional <Brownian motion> satisfies
$$
\limsup_{t\to\infty}B_t=+\infty,
\qquad
\liminf_{t\to\infty}B_t=-\infty
$$
almost surely. Its continuous path therefore visits every point, including zero, infinitely often.