Non-triviality of the vacancy phase transition for the Boolean model

In the spherical Poisson Boolean model, one takes the union of random balls centred on the points of a Poisson process in Euclidean d-space with d ≥ 2. We prove that whenever the radius distribution has a finite d-th moment, there exists a strictly positive value for the intensity such that the vacant region percolates.