IMC 2012 · Problem 5
Statement
Let be a real number. Let be an abelian group and let be a finite set satisfying , where and denotes the cardinality of . Prove that
for every positive integer . (Plünnecke's inequality)
Official solution
Proposed by Przemyslaw Mazur, Jagiellonian University.