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