MathDB

9

Part of 1993 IMO Shortlist

Problems(1)

Do not bother me with so many dots...

Source: IMO Shortlist 1993, Vietnam 2

3/25/2006
Let a,b,c,da,b,c,d be four non-negative numbers satisfying a+b+c+d=1. a+b+c+d=1. Prove the inequality a⋅b⋅c+b⋅c⋅d+c⋅d⋅a+d⋅a⋅b≤127+17627⋅a⋅b⋅c⋅d. a \cdot b \cdot c + b \cdot c \cdot d + c \cdot d \cdot a + d \cdot a \cdot b \leq \frac{1}{27} + \frac{176}{27} \cdot a \cdot b \cdot c \cdot d.
inequalitiesfunctionfour variablesIMO Shortlist4-variable inequality