Problem

Source: 2024 IGMO Christmas Edition #2 International Gamma Mathematical Olympiad

Tags: floor function, combinatorics



Santa has to deliver presents to infinitely many cities around the world. He labels the cities with positive integers starting from $1$ and every positive integer has a corresponding city. If Santa is in city $n$, he can take a reindeer sleigh ride and travel to a city labeled by numbers which can be represented as sum of distinct positive divisors of $n$. For example, if Santa is in city $9$, he can travel to cities $1, 3$, $4 (= 1 + 3)$, 9, $10 (= 1 + 9)$, $12 (= 3 + 9)$ or $13 (= 1 + 3 + 9)$, where $1, 3, 9$ are positive divisors of $9$. Suppose $m, k$ are positive integers, prove or disprove the following statements. (a) If $k > m > 1$, then Santa can travel from $m$ to $k$ with at most $2\lfloor \log_2 k\rfloor + 1$ rides. (b) If $m > k$, then Santa can travel from $m$ to $k$ with at most $\lfloor \log_2 k\rfloor + 2$ rides.