Simple random walk in two dimensions is recurrent (source code)

= Simple random walk in two dimensions is recurrent

A <simple random walk> on $\mathbb Z^2$ visits its starting point infinitely often <almost surely> and hits every fixed vertex <almost surely>.