for x, y, z being Real st (x + y) + z = 1 holds
((x * y) + (y * z)) + (x * z) <= 1 / 3