Eliminating c gives
a+b+c−abc=a+b+(1−ab)c=a+b+a+b(1−ab)(3−ab)
Put x=ab. Then a+b≥2x, and since 1<x2<3,a+b(1−ab)(3−ab)≥2x(1−x2)(3−x2).
It then suffices to prove that
2x+2x(1−x2)(3−x2)≥2
This last inequality follows from the arithmetic-geometric means inequality
2x+2x(1−x2)(3−x2)=2x3+x4=2x1+2x1+2x1+2x3≥4(161)41=2