The densest packing is indeed the circle packing problem, and the ratio of circles to total area is

Both of your two alternative choices have a problem with dimensions. The first has units of 1/length, and the second 1/length^2, whereas the answer should be dimensionless.