IMO 1987 LL GBR24

Prove that if the equation x4 + ax3 + bx + c = 0 has all its

imolonglistmathematicsolympiad

IMO 1987 LL GBR24

Origin: GBR

Problem

Prove that if the equation x4 + ax3 + bx + c = 0 has all its roots real, then ab \leq0.