Inequality $a+b+c \geqslant abc +2$ Assuming $a,b,c \in (0, \infty)$, we need to prove that: 
$$a+b+c \geqslant a b c+2 \quad \text{if} \quad  ab+bc+ca=3$$
Can you give me an idea, please? This inequality seem to be known, but I didn't manage to solve it. 
 A: For $x,y,z \geq 0 $, $ f(x,y,z) = x+y+z $ given that, $xy+yz+xz =3 = \phi(x, y, z)$
$$ \nabla f = \lambda \nabla \phi $$
$$ 1 = \lambda (y+z) \hspace {2 cm} (1) $$
$$ 1 = \lambda (x+z) \hspace {2 cm} (2) $$
$$ 1 = \lambda (x+y) \hspace {2 cm} (3) $$
$$ xy+yz+xz =3 \hspace{2 cm} (4)$$
Solveing $(1), (2), (3), \text{ and } (4)$ we get, $x=y=z=1$, so the minimum value of $f(x, y, z) = x+y+z$ under the constraint $xy+yz+xz = 3$ is $ 1 + 1 + 1 = 3$  
Again $g(x, y, z) = xyz + 2$ 
$$ \nabla g = \lambda \nabla \phi $$
$$ yz = \lambda (y+z) \hspace {2 cm} (5) $$
$$ xz = \lambda (x+z) \hspace {2 cm} (6) $$
$$ xy = \lambda (x+y) \hspace {2 cm} (7) $$
$$ xy+yz+xz =3 \hspace{2 cm} (4)$$
Solving these we get $x=y=z=1$, the maximum value of $g(x, y, z) = 1\cdot 1 \cdot 1 + 2 = 3 $
Since, $ \text{ min }( f) = \text{ max}(g) $, we have $a+b+c \geq abc+2$  
I hope there is a better method!!
A: It's easy to see that $(x+y+z)^2 \geq 3(xy+yz+zx)$.Denoting $S=a+b+c$ we cand deduce from this that $S\geq 3$.
Plugging in $x=ab$, $y=bc$, $z=ca$ we get $9\geq 3abc(a+b+c)$, so $abc \leq \frac{3}{a+b+c}$.So it's enough to prove that $a+b+c \geq \frac{3}{a+b+c}+2$.
The last inequality is equivalent to $S^2-2S-3 \geq 0$ which is true since $S\geq 3$.
A: Let's start by applying AM-GM:
$$\frac{ab+bc+ca}{3}=1 \ge (abc)^\frac{2}{3}$$
$$ 1 \ge abc$$
Further we get that
$$3\ge abc+2 \tag1$$
On the other hand we have
$$ (a+b+c)^2 \ge 3(ab+bc+ac)=9 $$
$$a+b+c \ge 3 \tag2$$
From $(1)$ and $(2)$ we get the required inequality
$$a+b+c \ge abc+2$$
Q.E.D.
A: Solve for $c$ from the constraint:
$$
   c = \frac{3- a b}{a+b}
$$
and substitute back into the inequality:
$$
 a + b + \frac{3-a b}{a+b} \geqslant 2 + \frac{a b(3-a b)}{a+b} \implies \frac{3 + a^2 b^2 + a^2 + b^2 -2 a b -2a -2b+3}{a+b} \geqslant 0
$$
Multiply both sides by $(a+b)$:
$$
   3 + a^2 b^2 + a^2 + b^2 -2 a b -2a -2b+3 \geqslant 0
$$
The left-hand-side can be reduced to the shifted sum of squares:
$$
     (a b-2)^2 + (a+b-1)^2  - 2 \geqslant 0
$$
It is easy to see that the left-hand-side attains its minimum at $a=b=1$, where the inequality is saturated.
