How large is the largest transitive subgroup of $S\_n$ other than itself and $A\_n$? In particular, does its size grow at least exponentially in $n$?



Faithful transitive actions by large groups on small sets
Re-edited to include Derek Holt's observation: This question seems to depend on the smallest prime divisor $p$ of $n.$ I am not sure how to proceed if $n =p.$ For example, if $n =p$ and (apart from $S\_{p}$ and $A\_{p}$) every doubly transitive permutation group of degree $p$ is solvable, then $S\_p$ has no transitive subgroup of order greater than $p(p-1),$ other than $A\_{p}$. Using the classification of finite simple groups, it seems likely that there are infinitely many such primes,(but this is not entirely straightforward, since it depends whether or not $p$ can be represented by certain cyclotomic polynomials). If, however, $n$ is not prime, then $p \leq \sqrt{n}$ and $S\_n$ has the large transitive subgroup $ S\_{\frac{n}{p}}\wr S\_{p}$


