Let positive numbers a,b,c satisfy the inequality 5abc>a3+b3+c3. Let us show that there exists a triangle with the sides a,b,c. On the contrary, suppose that there is no such triangle. Then for a,b,c at least one of the triangle inequalities is not valid. Let, e.g. c≥a+b, i.e. c=a+b+x, where x≥0. Then from the initial inequality it follows that
5ab(a+b+x)>a3+b3+(a+b)3+3(a+b)2x+e(a+b)x2+x3
or
2a2b+2ab2>2a3+2b3+(a+b)3+abx+3(a2+b2)x+3(a+b)x2+x3
Since the last four summands at the left side are nonnegative, we have
2a2b+2ab2a3+b3(a+b)(a−b)2>2a3+2b3−a2b−ab2<0<0⇔⇔
which is impossible.
□
In fact, assume the contrary: Assume that there are three positive reals a,b,c satisfying 5abc>a3+b3+c3, but they are not the sidelengths of a triangle. Since everything is symmetric, we can WLOG assume that a≥b≥c. Then, c+a>b (since a≥b) and a+b>c (since a≥c), so that we must have b+c≤a (else, the positive reals a,b,c would be the sidelengths of a triangle). Hence, c+a−b>0, a+b−c>0 and b+c−a≤0, so that
(b+c−a)(c+a−b)(a+b−c)≤0
Thus,
5abc−(b+c−a)(c+a−b)(a+b−c)≥5abc
On the other hand, 5abc>a3+b3+c3. Thus,
5abc−(b+c−a)(c+a−b)(a+b−c)10abc+(a3+b3+c3)−(a+b+c)(bc+ca+ab)10abc>a3+b3+c3>a3+b3+c3>(a+b+c)(bc+ca+ab)⇔⇔⇔
Division by abc yields
10>(a+b+c)(a1+b1+c1)
Now, since 10=32+1, the IMO 2004 problem 4 yields that a,b,c are the sidelengths of a triangle, contradicting our assumption. Thus, our assumption was wrong, and we are done. ☐