>>870
左側はさらに厳密な
LHS >= 9((ab^3+bc^3+ca^3)^2 + (a^3b+b^3c+c^3a)^2 + ((ab)^2+(bc)^2+(ca)^2))^2
を示した方が簡単なおもしろい不等式