Inequality....(RMO $1994$...question $8$) If $a$, $b$, $c$ are positive real numbers such that $a+b+c = 1$, prove that
$$(1+a)(1+b)(1+c) ≥ 8(1-a)(1-b)(1-c)\text{.}$$

One quite natural start is to replace $1-a$ by $b+c$ as there are more inequalities for nonnegative reals than reals. (In this case all terms are positive but minus signs are ugly in this problem so let's remove them.) So we have to prove that $$(1+a)(1+b)(1+c)\geq 8(b+c)(a+c)(a+b).$$ Also, there are number eight in the inequality so that makes me guess that one might be able to prove the inequality by taking three times arithmetic-geometric inequality. So I have to modify terms somehow. Lets test: $$1+a=a+b+c+a=2a+b+c,1+b=2b+a+c,1+c=2c+a+b.$$ But arithmetic-geometric inequality means that we have to take square root of expressions so squares would be nice. There are something similar terms in $2a+b+c$ and $2b+a+c,$ namely $a+b$. So lets try to write the inequality as $$((a+b)+(a+c))((a+b)+(b+c))((a+c)+(b+c))\geq 8(b+c)(a+c)(a+b).$$ But this is just the arithmetic-geometric inequality of the numbers $a+b,a+c,$ and $b+c.$
