Without loss of generality, we can replace the difference set S * \G i−1 with a set T i−1 = {b 0 , .
diminishing returns means that the value of an element u remains the same or decreases as S becomes larger.