Quotients of permutation groups by nonabelian minimal normal subgroups

We prove that a quotient G/N of a subgroup G of Sym (n) by a nonabelian minimal normal subgroup N of G embeds into Sym (m) for some m<n. Furthermore, if G is transitive then we can take m 2n/5.