Egy origót tartalmazó konvex $S$ alakzatban meg lehet rajzolni $n$ darab diszjunkt egységkört úgy, hogy az origóból nézve semelyik egységkör se takarja ki semelyik másik egy darabját (vagy az egészet). Bizonyítsuk be, hogy $S$ területe legalább $n^2/100$ területegység.