theorem Th20: :: SERIES_5:20

for a, b, c being positive Real holds ((a / b) + (b / c)) + (c / a) >= 3