Problem

Source: India EGMO TST 2025 Day 2 P1

Tags:



For a positive integer $m$, let $f(m)$ denote the smallest power of $2024$ not less than $m$ (e.g. $f(1)=1, f(2023)=f(2024)=2024,$ and $f(2025)=2024^2$). Find all positive real numbers $c$ for which there exists a sequence $x_1,x_2,\cdots$ of real numbers in $[0,1]$ such that $$|x_m-x_n|\geq\frac{c}{f(m)}$$for all positive integers $m>n\geq1$. Proposed by Shantanu Nene