Prove that due to the symmetry of the inequality about a,b,c, without loss of generality, assume 0⩽a⩽b⩽c⩽1, then
LHS =∑b+c+1a+(1−a)(1−b)(1−c)⩽a+b+1a+b+c+(1−a)(1−b)(1−c)=1−a+b+11−c[1−(1+a+b)(1−a)(1−b)]
It suffices to prove
a+b+11−c[1−(1+a+b)(1−a)(1−b)]⩾0
In fact
(1+a+b)(1−a)(1−b)⩽(1+a+b+ab)(1−a)(1−b)=(1−a2)(1−b2)⩽1
Thus, the original inequality holds.
Equality holds if and only if a=b=c=1 or a=1,b=c=0 and their cyclic permutations.