A zero-sum-free sequence of multiplicity $\le M$ in a finite abelian group has length $< 3\sqrt{M|G|}$

Initializing...

A zero-sum-free sequence of multiplicity $\le M$ in a finite abelian group has length $< 3\sqrt{M|G|}$ · Prove2Me