Let $a_1 \geq a_2 \geq \cdots \geq a_n$ be $n$ real numbers such that $a_1^k +a_2^k + \cdots + a_n^k \geq 0$ for all positive integers $k$. Suppose that $p=\max\{|a_1|,|a_2|, \ldots,|a_n|\}$. Prove that $p=a_1$, and \[(x-a_1)(x-a_2)\cdots(x-a_n)\leq x^n-a_1^n \qquad \forall x>a_1.\]