I asked a **question** at Math.SE last year and later offered a bounty for it, only johannesvalks give Part of the answer; A few months ago, I asked the author(Pham kim Hung) in Facebook, he said that now there is no proof by hand.and use of software verification is correct,and I try it sometimes,and not succeed.Later asked a lot of people (such on AOPS 1,AOPS 2) have no proof

interesting inequality:

Let $a,b,c,d>0$, show that

$$\dfrac{1}{4}\left(\dfrac{a^2}{b}+\dfrac{b^2}{c}+\dfrac{c^2}{d}+\dfrac{d^2}{a}\right)\ge \sqrt[4]{\dfrac{a^4+b^4+c^4+d^4}{4}}$$

In fact,we have $$\dfrac{1}{4}\left(\dfrac{a^2}{b}+\dfrac{b^2}{c}+\dfrac{c^2}{d}+\dfrac{d^2}{a}\right)\ge \underbrace{\sqrt[4]{\dfrac{a^4+b^4+c^4+d^4}{4}}\ge \sqrt{\dfrac{a^2+b^2+c^2+d^2}{4}}}_{\text{Generalized mean}}$$

**Now we only prove this not stronger inequality:**
$$\dfrac{1}{4}\left(\dfrac{a^2}{b}+\dfrac{b^2}{c}+\dfrac{c^2}{d}+\dfrac{d^2}{a}\right)\ge \sqrt{\dfrac{a^2+b^2+c^2+d^2}{4}}$$

Proof:By Holder inequality we have

$$\left(\sum_{cyc}\dfrac{a^2}{b}\right)^2(a^2b^2+b^2c^2+c^2d^2+d^2a^2)\ge (a^2+b^2+c^2+d^2)^3$$
and Note
$$a^2b^2+b^2c^2+c^2d^2+d^2a^2=(a^2+c^2)(b^2+d^2)\le\dfrac{(a^2+b^2+c^2+d^2)^2}{4}$$

Proof 2:(I hope following methods(creat is Mine) will usefull to solve my OP inequality,So I post it): \begin{align*}&\left(\dfrac{a^2}{b}+\dfrac{b^2}{c}+\dfrac{c^2}{d}+\dfrac{d^2}{a}\right)^2-4(a^2+b^2+c^2+d^2)\\ &=\sum_{cyc}\dfrac{3a^4b^2d+5a^4c^3+24a^3cd^3+3a^2b^3c^2+10ab^3d^3+15bcd^5-60a^2bcd^3}{15a^2bcd}\\ &\ge 0 \end{align*}

NoW I use computer $$\left(\dfrac{a^2}{b}+\dfrac{b^2}{c}+\dfrac{c^2}{d}+\dfrac{d^2}{a}\right)^4-64(a^2+b^2+c^2+d^2)=\dfrac{a^{12}c^4d^4+4a^{10}b^3c^3d^4+4a^{10}bc^6d^3+4a^9bc^4d^6 +6a^8b^6c^2d^4+12a^8b^4c^5d^3+64a^8b^4c^4d^4+6a^8b^2c^8d^2+12a^7b^4c^3d^6+12a^7b^2c^6d^5+4a^6b^9cd^4+\cdots+4ab^4c^6d^9+b^4c^4d^{12}}{a^4b^4c^4d^4}$$

Hence [by Delzell's algorithm] it is theoretically possible to prove any inequality involving rational functions simply by reducing it to the sum of squares inequality. However, this approach is similar in its impracticality to building an automobile using Stone Age tools." As for the present problem, I would be quite interested to see the automobile built more efficiently..! $\endgroup$empiricallythat the exponents 4 on the RHS of the inequality can be increased to about 4.8. The quadratic form corresponding to 2nd derivatives around (1, 1, 1, 1) is positive definite for exponents $\le$ 5. $\endgroup$8more comments