Se da un conjunto finito de círculos unitarios en un plano tal que el área de su unión $U$ es $S$ . Demuestra que existe un subconjunto de círculos mutuamente disjuntos tal que el área de su unión es mayor que $\frac{2S}{9}.$