0871132人目の素数さん垢版 | 大砲2017/09/04(月) 22:31:06.87ID:r46JbgIy >>870 左側はさらに厳密な LHS >= 9((ab^3+bc^3+ca^3)^2 + (a^3b+b^3c+c^3a)^2 + ((ab)^2+(bc)^2+(ca)^2))^2 を示した方が簡単なおもしろい不等式