Solution:
The required inequality is equivalent to
abc(a+1)(b+1)(c+1)c(a+1)+a(b+1)+b(c+1)≥(1+abc)23
or equivalently to,
(1+abc)2(ab+bc+ca+a+b+c)≥3abc(ab+bc+ca+a+b+c+abc+1)
Let m=a+b+c,n=ab+bc+ca and x3=abc, then the above can be rewritten as
(m+n)(1+x3)2≥3x3(x3+m+n+1)
or
(m+n)(x6−x3+1)≥3x3(x3+1)
By the AM-GM inequality we have m≥3x and n≥3x2, hence m+n≥3x(x+1). It is sufficient to prove that
x(x+1)(x6−x3+1)3(x6−x3+1)(x2−1)2≥x3(x+1)(x2−x+1)≥x2(x2−x+1)≥0
which is true.
Alternative solution by PSC. We present here an approach without fully expanding.
Let abc=k3 and set a=kyx,b=kzy,c=kxz, where k,x,y,z>0. Then, the inequality can be rewritten as
(ky+z)(kz+x)z2+(kz+x)(kx+y)x2+(kx+y)(ky+z)y2≥(1+k3)23k2
Using the Cauchy-Schwarz inequality we have that
cyclic∑(ky+z)(kz+x)z2≥(ky+z)(kz+x)+(kz+x)(kx+y)+(kx+y)(ky+z)(x+y+z)2
therefore it suffices to prove that
(ky+z)(kz+x)+(kz+x)(kx+y)+(kx+y)(ky+z)(x+y+z)2≥(1+k3)23k2
or
((1+k3)2−3k3)(x2+y2+z2)≥(3k2(k2+k+1)−2(1+k3)2)(xy+yz+zx)
Since x2+y2+z2≥xy+yz+zx and (1+k3)2−3k3>0, it is enough to prove that
(1+k3)2−3k3≥3k2(k2+k+1)−2(1+k3)2
or
(k−1)2(k2+1)(k+1)2≥0
which is true.