1 Se dan números reales $a_1, a_2,..., a_{2020}$ , no necesariamente distintos. Para todo $n \ge 2020$ , defina $a_{n + 1}$ como la menor raíz real del polinomio $$P_n (x) = x^{2n} + a_1x^{2n - 2} + a_2x^{2n - 4} +... + a_{n -1}x^2 + a_n$$ , si existe. Suponga que $a_{n + 1}$ existe para todo $n \ge 2020$ . Demuestre que $a_{n + 1} \le a_n$ para todo $n \ge 2021$ .