Fourfold product bound from small tripling
= 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|.
$$