Long range order in a hard disk model in statistical mechanics

We model two-dimensional crystals by a configuration space in which every admissible configuration is a hard disk configuration and a perturbed version of some triangular lattice with side length one. In this model we show that, under the uniform distribution, expected configurations in a given box are arbitrarily close to some triangular lattice whenever the particle density is chosen sufficiently high. This choice can be made independent of the box size.