Lemma. If 1≤k1<k2<⋯<kt≤n−1 be natural numbers, then
∀x∈R:x2n+i=1∑t(x2ki+1+x2ki)+1>0.
*Proof.* If x>0, it's trivial. So let's assume that x<0. If −1≤x<0, we write
x2n+i=1∑t(x2ki+1+x2ki)+1
as
x2n+1+(x+1)i=1∑tx2ki.
Since x+1≥0 and ∑i=1tx2ki≥0, we have
x2n+1+(x+1)i=1∑tx2ki>0.
If x<−1, then x+1<0 and x2k+1<x<1. So, x2n+1(x2k+1+1)>0. Therefore, we can re-write
x1398+i=1∑t(x2ki+1+x2ki)+1
as
(x1398−(2kt+1)+1)x2kt+1+i=1∑t−1x2k1+1(x2ki+1−(2ki+1))+22k1+1
where 1≤k1≤k2≤⋯≤21396. So, it is positive. □
Back to the problem. When Roozbeh chooses xk, if k is an even number, Keyvan should choose xk as well. But, if k is an odd number, and if coefficient of xk is odd, Keyvan should choose xk−1 and if coefficient of xk is even, Keyvan should play xk+1. Obviously after Keyvan's move, the polynomial will be in the following form:
x1398i=1∑m(xsi+xsi−1)2+2i=1∑nx2ti+i=1∑l(x2ki+1+x2ki)+1.
Where
1≤s1≤s2≤⋯≤sm≤21398,
0≤t1≤t2≤⋯≤tn≤21398,
1≤k1<k2<⋯<kl≤1398.
According to the lemma we proved, the polynomial should be always positive. ■