RU-ALLRUSSIAN 1983 Problem 20
X is a union of k disjoint intervals of the real line. It has the property that for any we can find two points of X which are a distance h apart. Show that the sum of the lengths of the intervals in X is at least
Dataset text NuminaMath olympiads. 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.