def f(a, b, c): while (2 * (a + b)) * c: