At sufficiently low packing fraction, neglect overlaps of the excluded regions around different disc centres. Sequential insertion gives the configurational integralTaking logarithms and expanding to first order in density,For large , replace by . The expression has the same leading-density expansion when . Thus the hard-disc excluded-area approximation yieldsThe factor accounts for indistinguishable particles and for two-dimensional momentum integration. The factor one-half between pair-excluded area and avoids counting every pair twice. Equality of leading expansions does not make this free-volume resummation exact at high density.