Let us define a group $G$ to be a hyperlinear group if it satisfies the conclusion of Theorem 3.6. in these notes by Vladimir Pestov. It is well-known that one can use the so-called amplification argument to replace $1/4$ by $ \sqrt{ 2}- \epsilon$ for every $\epsilon >0$ in this definition. A sim...