Problem

Source: 2025 China Mathematical Olympiad Day 1 Problem 3

Tags: number theory



Let \(a_1, a_2, \ldots, a_n\) be integers such that \(a_1 > a_2 > \cdots > a_n > 1\). Let \(M = \operatorname{lcm} \left( a_1, a_2, \ldots, a_n \right)\). For any finite nonempty set $X$ of positive integers, define \[ f(X) = \min_{1 \leqslant i \leqslant n} \sum_{x \in X} \left\{ \frac{x}{a_i} \right\}. \]Such a set $X$ is called minimal if for every proper subset $Y$ of it, $f(Y) < f(X)$ always holds. Suppose $X$ is minimal and $f(X) \geqslant \frac{2}{a_n}$. Prove that \[ |X| \leqslant f(X) \cdot M. \]