$m>1$ is an integer such that $[2m-\sqrt{m}+1, 2m]$ contains a prime. Prove that for any pairwise distinct positive integers $a_1$, $a_2$, $\dots$, $a_m$, there is always $1\leq i,j\leq m$ such that $\frac{a_i}{(a_i, a_j)}\geq m$.
Source: 2024 CTST P16
Tags: number theory
$m>1$ is an integer such that $[2m-\sqrt{m}+1, 2m]$ contains a prime. Prove that for any pairwise distinct positive integers $a_1$, $a_2$, $\dots$, $a_m$, there is always $1\leq i,j\leq m$ such that $\frac{a_i}{(a_i, a_j)}\geq m$.