Compact groups with many elements of bounded order

Meisam Soleimani Malekan, Alireza Abdollahi, Mahdi Ebrahimi

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…