Problem

Source: ELMO Shortlist 2013: Problem A6, by David Stoner

Tags: inequalities



Let $a, b, c$ be positive reals such that $a+b+c=3$. Prove that \[18\sum_{\text{cyc}}\frac{1}{(3-c)(4-c)}+2(ab+bc+ca)\ge 15. \]Proposed by David Stoner