Hier kann man sich die optimale Packung im Bild zu Gemüte führen. Die Quelle für den Optimalitätsnachweis ist auch angegeben, nämlich:
C. de Groot, R. Peikert, D. Würtz, The Optimal Packing of Ten Equal Circles in a Square, IPS Research Report No, 90-12, ETH Zurich, 1990.
Der Link auf das entsprechende Dokument (in PDF) schlägt allerdings fehl.