[第８章 469]

> for reals
> [1] (a^2+2)(b^2+2)(c^2+2) >= (1+a+b)(1+b+c)(1+c+a)
> [2] ((a^2+3)(b^2+3)(c^2+3))^2 >= 512(a+b)(b+c)(c+a)
>
> for nonnegarives
> [3] (a^2+2)(b^2+2)(c^2+2) >= 3(a+b+c)^2+(abc-1)^2
> [4] (x^2+2)(y^2+2)(z^2+2) >= 4(x^2+y^2+z^2)+5(xy+yz+zx)+(xyz-1)^2
> [5] (a^2+2)(b^2+2)(c^2+2) >= 4(a^2+b^2+c^2)+5(ab+bc+ca)+(abc(a-1)^2(b-1)^2(c-1)^2)^(1/3)
>
> AOPS
> [1], [2] : c6h588096p3481394
> [3] : c6h4830p15309
> [4], [5] : c6h581954p3438879
>
> 他にもいろいろ