theorem :: SERIES_5:40

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