Proof: By the AM-GM inequality, we have
LHS≥33a+1a+b⋅b+1b+c⋅c+1c+a=36(a+1)(b+1)(c+1)(a+b)(b+c)(c+a)
Thus, we only need to prove
(a+b)(b+c)(c+a)≥(a+1)(b+1)(c+1)
Since abc=1, (∗) is equivalent to
ab(a+b)+bc(b+c)+ca(c+a)≥a+b+c+ab+bc+ca
By the AM-GM inequality, we have
2LHS+∑cycab=∑cyc(a2b+a2b+a2c+a2c+bc)≥5∑cyca2LHS+∑cyca=∑cyc(a2b+a2b+b2a+b2a+c)≥5∑cycab
Therefore,
4LHS+2cyc∑ab+cyc∑a≥5cyc∑ab+4cyc∑ab⇒4LHS≥4cyc∑a+4cyc∑ab=4RHS
Thus, the original inequality holds. Equality holds if and only if a=b=c=1.