IMC 2012 · Problem 5

Day 219th IMC · Blagoevgrad, Bulgaria

Statement

Let c1c \ge 1 be a real number. Let GG be an abelian group and let AGA \subset G be a finite set satisfying A+AcA|A + A| \le c|A|, where X+Y:={x+yxX,yY}X + Y := \{x + y \mid x \in X, y \in Y\} and Z|Z| denotes the cardinality of ZZ. Prove that

A+A++Ak timesckA|\underbrace{A + A + \dots + A}_{k \text{ times}}| \le c^k |A|

for every positive integer kk. (Plünnecke's inequality)

Official solution

Hidden so you can work on the problem first.

Proposed by Przemyslaw Mazur, Jagiellonian University.