IMC 2012 · Problem 5

Day 219th IMC · Blagoevgrad, Bulgaria

Statement

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

∣A+A+⋯+A⏟k times∣≤ck∣A∣|\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.