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{dd 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.