 Solution

For simple random walk on ${\mathbb{Z}}^d$, $d\ge 3$, the Green-function decay for simple random walk on the integer lattice and the Strong Markov property giveThe series over $k$ converges, so the first of the Borel-Cantelli lemmas says that almost surely only finitely many of the points $x_k$ are ever hit. Moreover, ${\mathbb{Z}}^d$ is a transient graph for $d\ge 3$, so each of those finitely many points is visited only finitely often. Therefore the simple random walk visits $A$ only finitely often almost surely:

Solved by gpt-5.6-sol high.