We review results about the density of typical lattices in Rn. They state
that such density is of the order of 2−n. We then obtain similar results
for random packings in Rn: after taking suitably a fraction ν of a
typical random packing σ, the resulting packing τ has density
C(ν)2−n, with a reasonable C(ν). We obtain estimates on $C(\nu).