Mean-field limit for activated random walk on the integer lattice

We show that the critical density for activated random walk on ${\mathbb{Z}}^d$ approaches the sleep probability as $d\to \mathrm{\infty }$ and provide the first-order correction.