ISL 2000 C5
In the plane we have rectangles with parallel sides. The sides of distinct rectangles lie on distinct lines. The boundaries of the rectangles cut the plane into connected regions. A region is nice if it has at least one of the vertices of the rectangles on the boundary. Prove that the sum of the numbers of the vertices of all nice regions is less than . (There can be nonconvex regions as well as regions with more than one boundary curve.)
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.