On phase transition in the hard-core model on ${\bf Z}^d$

It is shown that the hard-core model on ${\bf Z}^d$ exhibits a phase transition at activities above some function $\lambda(d)$ which tends to zero as $d\rightarrow \infty$