Profinite groups with many elements of bounded order

Alireza Abdollahi, Meisam Soleimani Malekan

Lévai and Pyber proposed the following as a conjecture: Let $G$ be a profinite group such that the set of solutions of the equation $x^n=1$ has positive Haar measure. Then $G$ has…