Recurrence of planar Brownian motion (source code)

= Recurrence of planar Brownian motion

Planar Brownian motion almost surely visits every neighborhood of every point. Equivalently, it hits every disc almost surely, although it does not hit any prescribed point with positive probability.