theorem :: SERIES_3:21

for x, y being Real st x + y = 1 holds
(x |^ 3) + (y |^ 3) >= 1 / 4