<s>[INST] Olympiad Inequality $\sum\limits_{cyc} \frac{x^4}{8x^3+5y^3} \geqslant \frac{x+y+z}{13}$ 
$x,y,z >0$, prove
  $$\frac{x^4}{8x^3+5y^3}+\frac{y^4}{8y^3+5z^3}+\frac{z^4}{8z^3+5x^3} \geqslant \frac{x+y+z}{13}$$

Note:
Often Stack Exchange asked to show some work before answering the question. This inequality was used as a proposal problem for National TST of an Asian country a few years back. However, upon receiving the official solution, the committee decided to drop this problem immediately. They don't believe that any students can solve this problem in 3 hour time frame. 
Update 1: In this forum, somebody said  that BW is the only solution for this problem, which to the best of my knowledge is wrong. This problem is listed as "coffin problems" in my country. The official solution is very elementary and elegant. 
Update 2: Although there are some solutions (or partial solution) based on numerical method, I am more interested in the approach with "pencil and papers." I think the approach by Peter Scholze in here may help.  
Update 3: Michael has tried to apply Peter Scholze's method but not found the solution yet.
Update 4: Symbolic expanding with computer is employed and verify the inequality. However, detail solution that not involved computer has not been found. Whoever can solve this inequality using high school math knowledge will be considered as the "King of Inequality".
 [/INST] Let's reform this inequality in a way such that we can comprehend it better. Define $a=\dfrac{y}{x}$ and $b=\dfrac{z}{y}$, therefore $\dfrac{x}{z}={1\over ab}$. We can suume without lose of generality that $a,b\le1$ We need to prove that $$\dfrac{x}{8+5\left(\dfrac{y}{x}\right)^3}+\dfrac{y}{8+5\left(\dfrac{z}{y}\right)^3}+\dfrac{z}{8+5\left(\dfrac{x}{z}\right)^3}\ge\dfrac{x+y+z}{13}$$by dividing the two sides of the inequality by $x$ and substituting $a,b,c$ we have that$$\dfrac{1}{8+5\left(\dfrac{y}{x}\right)^3}+\dfrac{\dfrac{y}{x}}{8+5\left(\dfrac{z}{y}\right)^3}+\dfrac{\dfrac{z}{y}}{8+5\left(\dfrac{x}{z}\right)^3}\ge\dfrac{1+\dfrac{y}{x}+\dfrac{z}{x}}{13}$$and $$\dfrac{1}{8+5a^3}+\dfrac{a}{8+5b^3}+\dfrac{a^4b^4}{5+8a^3b^3}\ge \dfrac{1}{13}+\dfrac{a}{13}+\dfrac{ab}{13}$$which is equivalent to $$\left(\dfrac{1}{8+5a^3}-\dfrac{1}{13}\right)+\left(\dfrac{a}{8+5b^3}-\dfrac{a}{13}\right)+\left(\dfrac{a^4b^4}{5+8a^3b^3}-\dfrac{ab}{13}\right)\ge 0$$by simplifying each of the components and multiplying both sides in $\dfrac{13}{5}$ we obtain$$\dfrac{1-a^3}{8+5a^3}+\dfrac{a(1-b^3)}{8+5b^3}+\dfrac{a^4b^4-ab}{5+8a^3b^3}\ge0$$below is a depiction of $f(a,b)=\dfrac{1-a^3}{8+5a^3}+\dfrac{a(1-b^3)}{8+5b^3}+\dfrac{a^4b^4-ab}{5+8a^3b^3}$ for $0\le a,b\le 1$

which proves the inequality graphically (I believe that Lagrange multipliers or any other method based on 1st order derivations may help but i hadn't much time to think on it hope you find an analytic way) but neither such a time i spent on the problem nor a computer is given us in the exam :) also i appreciate if any one updates his/her comment with such an analytical method. I'm really curious about that.....
</s>