MathDB
Might be well-known...

Source:

August 29, 2017
inequalitiesinequalities openInequality

Problem Statement

Let aa , bb , and cc be non-negative reals. Prove that a3+b3+c3+6abc(a+b+c)34a^3+b^3+c^3+6abc\ge \frac{(a+b+c)^3}{4} .