Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 149 / 1 / c / Solution

By the Plünnecke-Ruzsa inequality,Apply the Ruzsa covering lemma to $3A$ and $A$. Since $A=-A$, there is a set $X\subseteq 3A$ with $|X|\le K^4$ such thatAdding $A$ and reusing this inclusion inductively gives

A sum of $m-2$ members of the fixed set $X$ depends only on the multiplicity of each member. The number of possible multiplicity vectors is at most $m^{|X|}$, and thereforeSince $|2A|\le K|A|\le K^m|A|$, it follows thatFor fixed $K$, this differs from the Plünnecke–Ruzsa bound $K^m|A|$ only by a polynomial factor in $m$, so both have the same leading exponential function factor $K^m$.