On the order of a finite group with trivial centre and bounded conjugacy classes

A group is called an $n$-$\text{bfc}$-group if each of its conjugacy classes is finite and contains at most $n$ elements. By a theorem of B.~H.~Neumann the derived subgroup of such a group is finite of $n$-bounded order, whereas the order of the group itself need not be bounded, as extraspecial $p$-groups show. We prove that an $n$-$\text{bfc}$-group with trivial centre is finite of order at most $n^{64(\log n{)}^5}$. Passing to the quotient by the hypercentre, we deduce that no assumption on the structure of the group is needed at all: for an arbitrary finite $n$-$\text{bfc}$-group $G$ one has $\mathrm{\mid }G:Z_{\mathrm{\infty }}(G)\mathrm{\mid }<n^{64(\log n{)}^5}$. The finiteness of the group is required here only for the correct definition of the hypercentre.