theorem :: SERIES_5:22

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