ABSTRACT
In 1972 Graham, Witsenhausen and Zassenhaus [5] proved a tight packing inequality for 0-symmetric convex discs. Although this inequality is rather special, is is the crucial step in the proof of a fundamental inequality for finite packings, which was first proved by N.Oler [6]. Special cases and weaker results were proved before by L.Fejes Tóth (cf. [2]), by Rogers [7] and Groemer [3]. For details cf. [2], [4] or [5]. The general proof in [5] is very elegant, but the proof of the special case is rather elaborate and uses a lot of angle classification and calculation in Minkowski geometry. We give an angle-free proof only based on the distance function.
