Finite groups with large power-avoiding subsets

A subset $X$ of a finite group $G$ is $k$-power-avoiding if for all $g\in G$ we have that $\{g,g^k\}\not\subseteq X$. The paper shows that if $G$ contains a $k$-power-avoiding subset $X$ with $|X|\geq |G|-c$, then the group $G^k$ generated by the $k$th powers of elements of $G$ has bounded order (in