We first prove a lemma.
Lemma If 1>a,b>0, then ab⩾a+ba, which is obvious when a⩾1.
If 1>a,b>0, by Bernoulli's inequality we have
ab=a1−ba⩾1−(1−b)(1−a)a=a+b−aba⩾a+ba
Thus the lemma is proved.
Returning to the original problem, by the lemma we have
ab+bc+ca⩾a+ba+b+cb+c+ac
Next, we prove
a+ba+b+cb+c+ac⩾23
In fact,
(a+ba+b+cb+c+ac)−(a+bb+b+cc+c+aa)=(a+b)(b+c)(c+a)(a−b)(b+c)(c+a)+(b−c)(a+b)(c+a)+(c−a)(a+b)(b+c)=(a+b)(b+c)(c+a)(c+a)(ab+ac−b2−bc+ab+b2−ca−cb)+(c−a)(a+b)(b+c)=(a+b)(b+c)(c+a)(a−c)(2bc+2ab−ab−ac−b2−bc)=(a+b)(b+c)(c+a)(a−c)(a−b)(b−c)⩾0(a+ba+b+cb+c+ac)+(a+bb+b+cc+c+aa)=3
Therefore,
a+ba+b+cb+c+ac⩾23
The equality in the inequality will not hold, and we have completed the proof.