a*b*(a + b) + b*c*(b + c) + a*c*(a + c) >= 6*a*b*c
(a*c)*(a + c) + (a*b)*(a + b) + (b*c)*(b + c) >= c*((6*a)*b)