Proof: Let S=∑cyca,P=∑cycab,Q=abc, through not too complicated calculations, we have
LHS=cyc∑S+1−a1=S2+2S+PS+PS2+4S+3+P,RHS=cyc∑2+a1=9+4S+2P12+4S+P
Therefore, we only need to prove
S2+2S+PS+PS2+4S+3+P≤9+4S+2P12+4S+P, i.e., (3P−5)S2+(S−1)P2+6PS≥24S+3P+27
Since abc=1, we have S,P≥3, so
LHS≥4S2+2P2+6PS≥12S+6(P−1)S+6S+2P2≥24S+3P+(P2+6S)≥RHS
The equality holds when S=P=3 or a=b=c=1