Problem

Source: Sharygin 2018

Tags: geometry



The plane is divided into convex heptagons with diameters less than 1. Prove that an arbitrary disc with radius 200 intersects most than a billion of them.