For each disc D in D, let ωD denote the centre of D, and let αD be the arc-length of the image of D under radial projection from O onto the unit circle centred at O. Clearly, αD/2>sin(αD/2)=1/OωD.
Now, for each positive integer k<n, let Dk be the set of those discs in D whose centres lie in the closed disc of radius k+1 centred at O. Since Di⊆Dj if i≤j, and each Dk contains at least k elements, we may recursively choose (or apply Hall's marriage theorem to produce) a system of distinct representatives, D1,…,Dn−1, for the collection D1,…,Dn−1, to obtain
D∈Dn−1∑αD>2D∈Dn−1∑1/OωD≥2k=1∑n−11/OωDk≥2k=1∑n−11/(k+1)>2log2n+1.
Finally, if Nn−1 is the maximal number of discs in Dn−1 stabbed by a line through O as it performs a half-turn about O, then πNn−1≥∑D∈Dn−1αD and the conclusion follows.