F contains a subfamily consisting of pairwise disjoint discs, joint area >=S/9
Source: Austrian Polish 1983 APMC
April 30, 2020
areageometrydiscscovering
Problem Statement
A bounded planar region of area is covered by a finite family of closed discs. Prove that contains a subfamily consisting of pairwise disjoint discs, of joint area not less than .