IMO 1971 LL YUG55

Prove that the polynomial x4 + \lambdax3 + µx2 + \nux + 1 has no

IMO 1971 LL YUG55

Origin: YUG

Problem

Prove that the polynomial x4 + \lambdax3 + µx2 + \nux + 1 has no real roots if \lambda, µ, \nu are real numbers satisfying |\lambda| + |µ| + |\nu| \leq \sqrt 2.