\sum_{i=1}^n ai=\Pi_{i=1}^n a_i, 0<a_i \le b_i=>\sum_{i=1}^n bi \le\Pi_{i=1}^n
Source: Polish second round 1994 p2
January 19, 2020
SumProductinequalitiesalgebra
Problem Statement
Let be positive real numbers such that , and let be positive real numbers such that for all . Prove that