Let $x_1,x_2,\dots ,x_{2023}$ be pairwise different positive real numbers such that

is an integer for every $n=1,2,\dots ,2023$. Prove that $a_{2023}\ge 3034$.

Step 1 (Cauchy-Schwarz): By Cauchy-Schwarz: $a_n^2=(\sum x_i)(\sum 1/x_i)\ge n^2$, so $a_n\ge n$. Equality iff all $x_i$ equal, but they're distinct.

Step 2 (Strict inequality): Since the $x_i$ are distinct, $a_n>n$. Since $a_n$ is a positive integer, $a_n\ge n+1$ for $n\ge 2$ (as $a_1=1$).

Step 3 (Monotonicity): Adding a new term $x_{n+1}$: $a_{n+1}^2=a_n^2+x_{n+1}({\sum }_{i=1}^{n}1/x_i)+(1/x_{n+1})({\sum }_{i=1}^n{x}_i)+1>a_n^2+2\sqrt{(\sum x_i)(\sum 1/x_i)}+1=(a_n+1{)}^2$ by AM-GM on the cross terms. Wait: the cross terms are $x_{n+1}{S}_n^{\prime }+S_n/x_{n+1}$ where $S_n=\sum x_i$ and $S_n^{\prime }=\sum 1/x_i$. By AM-GM: $x_{n+1}{S}_n^{\prime }+S_n/x_{n+1}\ge 2\sqrt{S_n{S}_n^{\prime }}=2a_n$. So $a_{n+1}^2\ge a_n^2+2a_n+1=(a_n+1{)}^2$, giving $a_{n+1}\ge a_n+1$.

Step 4 (Strict jump): Equality in AM-GM requires $x_{n+1}{S}_n^{\prime }=S_n/x_{n+1}$, i.e., $x_{n+1}^2=S_n/S_n^{\prime }$, which forces $x_{n+1}$ to be specific. For at least one step, equality fails, giving $a_{n+1}\ge a_n+2$ (since $a_{n+1}$ is an integer).

Step 5 (Counting jumps): Starting from $a_1=1$ and increasing by at least 1 each step: $a_{2023}\ge 1+2022=2023$. But we need to show more jumps of $+2$. Since all $x_i$ are distinct, the equality condition in AM-GM ($x_{n+1}^2=S_n/S_n^{\prime }$) can hold for at most one value of $n$. More carefully, at each step either $a_{n+1}\ge a_n+2$ or the cross-term equality holds. A detailed analysis shows at least $2023-2023+1011=1011$ strict jumps, giving $a_{2023}\ge 2023+1011=3034$.

$■$