Let $0 \lt x_1 \le x_2 \le x_3 \le ... \le x_{n - 1} \le x_n$ and $n \geqslant 2$.
Also , $$\sum_\text{cyc} \frac{1}{x_1^2 + 2020^2} = \frac{1}{2020^2}$$
Prove that $$\frac{\sum_\text{cyc} x_1}{2020^2} \geq (n - 1)(\sum_{cyc} \frac{1}{x_1})$$
This is problem #5 (Afternoon) Thailand POSN Camp 2.
Can anyone give me any hints (or solutions) please. Thank you!