Ну, вообще, чисто теоретически, данное неравенство имеет место быть, но только при том условии, что b и c <= a;Преобразуем немного левую часть :Теперь, можно попробовать подставить a=1У нас получается 16≥16bc . При а=1: b=1; c=1 ; (Удовлетворяет b,c≤a)При а=2 наша ситуация выглядит так :81≥32bc. Тут уже ситуаций будет немного побольше, а именно:Ну и так далее... В общем,(а+1)(а+1)(а+1)(а+1)≥16abc ⇔ ∃ a,b,c>0 : (a≥b,c) .Надеюсь, доказал верно :D