a,b,c,d>0に対して、
(a+b)^3 (b+c)^3 (c+d)^3 (d+a)^3 ≧ 16(abcd)^2 (a+b+c+d)^4

出題元は a,b,c>0 となっているが…
https://artofproblemsolving.com/community/c6h299899p1650989

不等式は代数幾何？ 僕は大好き。