The Plünnecke-Ruzsa inequality states that, for all nonnegative integers ,
Here is the iterated sumset of copies of , with . In particular, .