MathDB
Imaginary sequence

Source: 2021 Korea Winter Program Test1 Day2 #6

February 14, 2021
algebra

Problem Statement

Is there exist a sequence a0,a1,a2,a_0,a_1,a_2,\cdots consisting of non-zero integers that satisfies the following condition?
Condition: For all integers nn (2020\ge 2020), equation anxn+an1xn1++a0=0a_n x^n+a_{n-1}x^{n-1}+\cdots +a_0=0 has a real root with its absolute value larger than 2.0012.001.