summation(f, (i, a, b))