Fourfold product bound from small tripling (source code)

= Fourfold product bound from small tripling

If a finite subset $A$ of a group satisfies $|A^3|\leq K|A|$, then repeated use of the <Noncommutative Ruzsa triangle inequality> gives
$$
|A^4|\leq K^3|A|\leq K^4|A|.
$$