 Fourfold product bound from small tripling

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