В книге <Расположение на плоскости, на сфере и в пространстве> Тот Фейеш писал(а):
имеем:

,
откуда учитывая, что

,
получим требуемое неравенство:

.
(здесь)
сам предел - плотность покрытия плоскости равными кругами единичного радиуса,

площадь

-ой единичной окружности,

-площадь окружности радиуса

,

-сумма площадей круговых двуугольников.
Не понятно

как пришли к последнему неравенству?
Ведь если формально подставить в первый предел

, то

сократиться и уже не будет

в числителе требуемого неравенства.
(Изображение из книги <Тот Фейеш Расположение на плоскости, на сфере и в пространстве>)