Inequality $\sum\limits_{cyc}\frac{a^3}{13a^2+5b^2}\geq\frac{a+b+c}{18}$ Let $a$, $b$ and $c$ be positive numbers. Prove that:
  $$\frac{a^3}{13a^2+5b^2}+\frac{b^3}{13b^2+5c^2}+\frac{c^3}{13c^2+5a^2}\geq\frac{a+b+c}{18}$$


This inequality is strengthening of the following Vasile Cirtoaje's one, which he  created in 2005.


  Let $a$, $b$ and $c$ be positive numbers. Prove that:
  $$\frac{a^3}{2a^2+b^2}+\frac{b^3}{2b^2+c^2}+\frac{c^3}{2c^2+a^2}\geq\frac{a+b+c}{3}.$$


My proof of this inequality you can see here: https://artofproblemsolving.com/community/c6h22937p427220

But this way does not help for the starting inequality.

A big problem we have around the point $(a,b,c)=(0.785, 1.25, 1.861)$ because the difference between the LHS and the RHS in this point is  $0.0000158...$.

I tried also to use Cauchy-Schwarz, but without success.

Also, I think the BW (see here https://math.stackexchange.com/tags/buffalo-way/info I tryed!) does not help.
@Maxim Gilula asked a good question: What is the point of presenting a solution via computer?

Let me address it from two aspects.

First, from my experience (the problems from MSE, AoPS, academic research etc.), the inequalities with elegant solutions (e.g. by hand)
are usually those designed e.g. for contest. Except for the designed inequalities, the inequalities require usually the help of computer. 
Many inequalities in MSE, AoPS are open for many years without any solution by hand.

Second, although also with the help of computer, the solutions are different.

1) Some solutions e.g. Buffalo Way (BW) or Sum of Squares (SOS) provide step-by-step rigorous complete analytical solutions with detailed explanation. 
Moreover, these solutions are often not very long. Usually one or several A4 pages are enough to write down the step-by-step rigorous complete analytical solutions with detailed explanation.

2) In contrast, some solutions does not provided step-by-step solutions. For example, the step-by-step solutions are in Mathematica's innards,
and for some cases, Mathematica run several hours to output 'true' which means that the step-by-step solutions may be very, very long,
probably 10,000 A4 pages are required to write down the step-by-step solutions. 
Sometimes the method of Lagrange Multiplier works well, however, sometimes it results in very complicated equations which requires Mathematica etc.

3) Often, although the thinking process is very complicated and requires the help of computer, 
the solution is elementary and easy to check even by hand. For example, recently, I used computer to solve an inequality in AoPS to get the identity
$a^3 + b^3 + c^3 - a^2b - b^2c - c^2a
= \frac{(a^2+b^2-2c^2)^2 + 3(a^2-b^2)^2
+ \sum_{\mathrm{cyc}} 4(a+b)(c+a)(a-b)^2}{8(a+b+c)}$. In contrast, Mathematica only outputs 'true'. Which solution is better?

EDIT

Remark: Actually, the Buffalo Way works though the solution is ugly. I do not put it here. With computer, here is an SOS (Sum of Squares) solution:

WLOG, assume that $c = \min(a, b, c)$.
We have
\begin{align*}
&amp;\frac{a^3}{13a^2+5b^2} + \frac{b^3}{13b^2+5c^2} + \frac{c^3}{13c^2+5a^2} - \frac{a+b+c}{18}\\
=\ &amp; \frac{1}{18(13a^2+5b^2)(13b^2+5c^2)(13c^2+5a^2)}\\
&amp;\quad \cdot \frac{1}{2223}\Big(cz_1^TA_1 z_1 + c(a-c)(b-c)z_2^TA_2z_2 + (b-c)z_3^TA_3z_3 + (a-c)z_4^TA_4z_4\Big)
\end{align*}
(Remark: $A_1, A_2, A_3, A_4$ are all positive definite. So the inequality is true.)
where
$$z_1 = \left(\begin{array}{c} {\left(a - c\right)}^2\, \left(b - c\right)\\ \left(a - c\right)\, {\left(b - c\right)}^2\\ c\, {\left(a - c\right)}^2\\ c\, \left(a - c\right)\, \left(b - c\right)\\ c\, {\left(b - c\right)}^2\\ c^2\, \left(b - c\right)\\ c^2\, \left(a - c\right) \end{array}\right),
\quad z_2 = \left(\begin{array}{c} {\left(a - c\right)}^2\\ \left(a - c\right)\, \left(b - c\right)\\ {\left(b - c\right)}^2\\ c\, \left(a - c\right)\\ c^2\\ c\, \left(b - c\right) \end{array}\right),
$$
$$z_3 = \left(\begin{array}{c} {\left(a - c\right)}^2\, \left(b - c\right)\\ \left(a - c\right)\, {\left(b - c\right)}^2\\ c\, {\left(a - c\right)}^2\\ c\, \left(a - c\right)\, \left(b - c\right)\\ c\, {\left(b - c\right)}^2\\ c^2\, \left(b - c\right)\\ c^2\, \left(a - c\right) \end{array}\right)
, \quad z_4 = \left(\begin{array}{c} {\left(a - c\right)}^2\, \left(b - c\right)\\ \left(a - c\right)\, {\left(b - c\right)}^2\\ c\, {\left(a - c\right)}^2\\ c\, \left(a - c\right)\, \left(b - c\right)\\ c\, {\left(b - c\right)}^2\\ c^2\, \left(b - c\right)\\ c^2\, \left(a - c\right) \end{array}\right),$$
and
$$A_1 = \left(\begin{array}{ccccccc} 453245 &amp; -100035 &amp; 111397 &amp; 113607 &amp; -146718 &amp; 24687 &amp; 6498\\ -100035 &amp; 166231 &amp; -19773 &amp; 24453 &amp; -82004 &amp; -11286 &amp; 31356\\ 111397 &amp; -19773 &amp; 444600 &amp; 86526 &amp; -144261 &amp; 13585 &amp; -6669\\ 113607 &amp; 24453 &amp; 86526 &amp; 760500 &amp; -344736 &amp; -126711 &amp; 149188\\ -146718 &amp; -82004 &amp; -144261 &amp; -344736 &amp; 297882 &amp; -26676 &amp; -53352\\ 24687 &amp; -11286 &amp; 13585 &amp; -126711 &amp; -26676 &amp; 160056 &amp; -111150\\ 6498 &amp; 31356 &amp; -6669 &amp; 149188 &amp; -53352 &amp; -111150 &amp; 160056 \end{array}\right),
$$
$$A_2 = \left(\begin{array}{cccccc} 281580 &amp; 33098 &amp; -64467 &amp; 40261 &amp; 4275 &amp; -24219\\ 33098 &amp; 329004 &amp; -124982 &amp; 13572 &amp; 20241 &amp; -51129\\ -64467 &amp; -124982 &amp; 106704 &amp; -51129 &amp; -6840 &amp; -30875\\ 40261 &amp; 13572 &amp; -51129 &amp; 326610 &amp; -8645 &amp; -79794\\ 4275 &amp; 20241 &amp; -6840 &amp; -8645 &amp; 62244 &amp; -46683\\ -24219 &amp; -51129 &amp; -30875 &amp; -79794 &amp; -46683 &amp; 153216 \end{array}\right)
,$$
$$A_3 = \left(\begin{array}{ccccccc} 258609 &amp; -100035 &amp; 102011 &amp; 75582 &amp; -56069 &amp; -57798 &amp; 126945\\ -100035 &amp; 55575 &amp; -37791 &amp; -29393 &amp; 2223 &amp; 26923 &amp; -26676\\ 102011 &amp; -37791 &amp; 589342 &amp; 224757 &amp; -195624 &amp; -155376 &amp; 313272\\ 75582 &amp; -29393 &amp; 224757 &amp; 693576 &amp; -279851 &amp; -320283 &amp; 535977\\ -56069 &amp; 2223 &amp; -195624 &amp; -279851 &amp; 200070 &amp; 91143 &amp; -306945\\ -57798 &amp; 26923 &amp; -155376 &amp; -320283 &amp; 91143 &amp; 293436 &amp; -435708\\ 126945 &amp; -26676 &amp; 313272 &amp; 535977 &amp; -306945 &amp; -435708 &amp; 1016158 \end{array}\right)
,$$
$$A_4 = \left(\begin{array}{ccccccc} 144495 &amp; -57057 &amp; 3705 &amp; 24206 &amp; -22230 &amp; 2457 &amp; 26923\\ -57057 &amp; 55575 &amp; 4199 &amp; -15561 &amp; -22724 &amp; 13338 &amp; -1989\\ 3705 &amp; 4199 &amp; 200070 &amp; 18031 &amp; -46449 &amp; -9063 &amp; 17784\\ 24206 &amp; -15561 &amp; 18031 &amp; 351468 &amp; -140049 &amp; -6435 &amp; -13509\\ -22230 &amp; -22724 &amp; -46449 &amp; -140049 &amp; 189202 &amp; -117990 &amp; -46449\\ 2457 &amp; 13338 &amp; -9063 &amp; -6435 &amp; -117990 &amp; 177840 &amp; -48659\\ 26923 &amp; -1989 &amp; 17784 &amp; -13509 &amp; -46449 &amp; -48659 &amp; 253422 \end{array}\right).
$$
I have finally found a solution . In fact we start to study the 2 variables version of this inequality we have :


  $$\frac{a^3}{13a^2+5b^2}+\frac{b^3}{13b^2+5a^2}\geq \frac{a+b}{18}$$


Proof:

We have with $x=\frac{a}{b}$ :
$$\frac{x^3}{13x^2+5}+\frac{1}{13+5x^2}\geq \frac{1+x}{18}$$
Or 
$$5(x+1)(x-1)^2(5x^2-8x+5)\geq 0$$

So we have (if we permute the variables $a,b,c$ and addition the three inequalities ) :

$$\sum_{cyc}\frac{a^3}{13a^2+5b^2}+\sum_{cyc}\frac{a^3}{13a^2+5c^2}\geq \frac{a+b+c}{9}$$

If we have $\sum_{cyc}\frac{a^3}{13a^2+5b^2}\geq\sum_{cyc}\frac{a^3}{13a^2+5c^2}$

We have :
$$\sum_{cyc}\frac{a^3}{13a^2+5b^2}\geq \frac{a+b+c}{18}$$
But also
$$\frac{(a-\epsilon)^3}{13(a-\epsilon)^2+5b^2}+\frac{(b)^3}{13(b)^2+5(c+\epsilon)^2}+\frac{(c+\epsilon)^3}{13(c+\epsilon)^2+5(a-\epsilon)^2}\geq \frac{a+b+c}{18}$$
If we put $a\geq c $ and $\epsilon=a-c$

We finally obtain :
$$\sum_{cyc}\frac{a^3}{13a^2+5c^2}\geq \frac{a+b+c}{18}$$

So all the cases are here so it's proved !