theorem :: SERIES_5:17

for a, b, c being positive Real st a + b > c & b + c > a & a + c > b holds
((1 / ((a + b) - c)) + (1 / ((b + c) - a))) + (1 / ((c + a) - b)) >= 9 / ((a + b) + c)