Let be a finite group and form the free product . Put . Then
so .
On the other hand, contains the double coset . Reduced-word uniqueness in the free product makes the map
injective, so . Taking finite groups of unbounded order keeps the doubling constant below three while tends to infinity. This realizes the small doubling does not control tripling in a noncommutative group phenomenon.