MathDB
Looks Like Mount Inequality Erupted :(

Source: 2017 USAMO #6

April 20, 2017
inequalitiesAMCUSA(J)MOUSAMO(2017)Tangent line trickHi

Problem Statement

Find the minimum possible value of ab3+4+bc3+4+cd3+4+da3+4\frac{a}{b^3+4}+\frac{b}{c^3+4}+\frac{c}{d^3+4}+\frac{d}{a^3+4} given that aa, bb, cc, dd are nonnegative real numbers such that a+b+c+d=4a+b+c+d=4.
Proposed by Titu Andreescu