theorem FRAC: :: COMPLEX3:75

for a, b, c being positive Real holds ((a + b) + c) / (a + b) < (a + c) / a