Ма
Мария
используем:
(x + y) / 2 >= sqrt(x * y)
(а^3 + b) / 2 >= sqrt(а^3 * b)
(a + b^3) / 2 >=sqrt(a * b^3)
(а^3 + b) * (a + b^3) >= 4 * sqrt(а^3 * b) * sqrt(a * b^3)
(а^3 + b) * (a + b^3) >= 4 * sqrt(а^4 * b^4)
(а^3 + b) * (a + b^3) >= 4 * а^2 * b^2
А самой пересовокуплять сложно?
крутое неравенство, которое не выполняется уже при a=-1, b=1