Let $P$ be an irreducible Hurwitz polynomial in $\mathbf{R}[X]$ with positive leading coefficient. Prove that all coefficients of $P$ are strictly positive.
Let $P$ be an irreducible Hurwitz polynomial in $\mathbf{R}[X]$ with positive leading coefficient. Prove that all coefficients of $P$ are strictly positive.