Sean $x_1$, $x_2$, ..., $x_{2023}$ números reales positivos, todos distintos entre sí, tales que
$a_n$ = $\sqrt{(x_1 + x_2 + ... + x_n)(\frac{1}{x_1} + \frac{1}{x_2} + ... + \frac{1}{x_n})}$
es entero para todo $n$ = 1, 2, ..., 2023. Demuestra que $a_{2023} \geq 3034$.