IMO 1971 LL AUT3
Let a, b, c be positive real numbers, 0 < a \leqb \leqc. Prove that
IMO 1971 LL AUT3
Origin: AUT
Problem
Let a, b, c be positive real numbers, 0 < a \leqb \leqc. Prove that for any positive real numbers x, y, z the following inequality holds: (ax + by + cz) x a + y b + z c \leq(x + y + z)2 (a + c)2 4ac .