My question is about backwards induction and was asked previously in the above link. How did they derive the equations for $n=2$, which is $(x_1+x_2)^2−4x_1x_2=(x_1−x_2)^2≥0$
Here's what I have for $n=2$:
And that's about as far as I get. Can somebody give me any pointers?