Example 2.2 (Lacunary hyperbolic groups) This is a class of finitely generated discrete groups that many monster groups from group theory [1]} end up living - it is a place where many outputs of small cancellation theory [2]}, [3]} naturally occur. The definition is as follows:
