On a conjecture of Peter Neumann on fixed points in permutation groups

We prove a conjecture of Peter Neumann from 1966, predicting that every finite non-regular primitive permutation group of degree $n$ contains an element fixing at least one point and at most $n^{1\mathrm{/}2}$ points. In fact, we prove a stronger version, where $n^{1\mathrm{/}2}$ is replaced by $n^{1\mathrm{/}3}$, and this is best possible. The case where $G$ is affine was proved by Guralnick and Malle; in this paper we address the case where $G$ is non-affine.