hard sphere gas, densest packing, sphere packing