Q21 Matemática  (IMO Shortlist 1981)

Um conjunto finito de círculos unitários é dado em um plano tal que a área de sua união é . Prove que existe um subconjunto de círculos mutuamente disjuntos tal que a área de sua união é maior que