a / (b + c) + b / (a + c) + c / (a + b) = 4 over the integers