Solution. The inequality can be rewritten as
ba+cb+ac+ab+bc+ca≤7
WLOG, we may assume that a≥b≥c, then
(a−b)(a−c)≥0⇒{ca+1≥ba+cbac+1≥bc+ab
which implies that
ba+cb+bc+ab≤ca+ac+2
We conclude
⇒ba+cb+ac+ab+bc+ca≤2+2(ca+ac)=7−ac(a−2c)(2a−c)≤7
because 2c≥a≥c. Equality holds for (a,b,c)=(2,2,1) or (2,1,1) or permutations.