theorem :: SERIES_5:39

for a, b, c being positive Real st (a + b) + c = 1 holds
((1 + (1 / a)) * (1 + (1 / b))) * (1 + (1 / c)) >= 64