The inequality
23≤b+c+2ab+c+a+c+2ba+c+a+b+2ca+b
is Nesbitt's inequality for the triple (b+c,a+c,a+b).
Triangle's inequality yields b+c>a⇔3a+3b+3c>4a+2b+2c⇔3(a+b+c)2<2a+b+c1⇔3(a+b+c)4a<2a+b+c2a⇔3(a+b+c)4a<1−2a+b+cb+c.
In the same way 3(a+b+c)4b<1−2b+a+ca+c and 3(a+b+c)4c<1−2c+a+ba+b. Adding the last three inequalities gives
34<3−(b+c+2ab+c+a+c+2ba+c+a+b+2ca+b),
which is equivalent to what we had to prove.