AUSTRIAN-POLISH 1986 Problem 2

The monic polynomial $P(x) = x^n + a_{n-1}x^{n-1} +...+ a_0$ of degree $n > 1$ has $n$ distinct negative roots. Prove that $a_1P(1) > 2n^2a_o$

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.