“…Since each bin in B c has a total size of small items in the interval [γ c ε 2 , (γ c + 1)ε 2 ), so over the y c bins in B c we have a total size of small items that is not larger than y c (γ c + 1)ε 2 , and Constraint (8) is satisfied. Constraint ( 9), ( 10), (11), and ( 12) are satisfied trivially based on the definition of the v, x, y, and z.…”