Пусть `a,b,c 0` и `a*b + b*c + c*a + 2*a*b*c = 1`. Докажите, что `2*(a + b + c) + 1 \geq 32*a*b*c`. [изображение]