theorem :: SERIES_3:22

for a, b being positive Real st a + b = 1 holds
(a |^ 3) + (b |^ 3) < 1