>>139
 a,b,c < 1 と仮定すると、ab+bc+ca + abc < 4,
 a,b,c > 1 と仮定すると、ab+bc+ca + abc > 4,
いずれも題意と矛盾する。a≦b≦c とすれば、
 0 < a ≦ 1 ≦ c,
題意により、
 b = (4-ac)/(a+c+ac),
これを代入して、
 (a+b+c) - (ab-bc-ca) = {(a+c-2)^2 + ac(1-a)(c-1)}/(a+c+ac) ≧0,