Let $S_{n}=X_{1}+X_{2}+\ldots+X_{n}$ describe the position after $n$ steps of a symmetric random walk on $\mathbb{Z}^{d}$. Using the asymptotic formula: $n ! \sim$ $\left(\frac{n}{c}\right)^{n} \sqrt{2 \pi n}$ and the Borel-Cantelli lemmas show that the probability of $\left\{S_{n}=0\right.$ i.o. $\}$ is 1 when $d=1,2$ and 0 for $d>2$.
We have the following simple but fundamental fact.