IMC 2021 · Problem 3

Day 128th IMC · Online

Statement

We say that a positive real number dd is good if there exists an infinite sequence a1,a2,a3,…∈(0,d)a_1, a_2, a_3, \ldots \in (0, d) such that for each nn, the points a1,…,ana_1, \ldots, a_n partition the interval [0,d][0, d] into segments of length at most 1/n1/n each. Find

sup⁡{d∣d is good}.\sup\big\{d \mid d \text{ is good}\big\}.

Official solution

Hidden so you can work on the problem first.

Proposed by Josef Tkadlec.