 Classification of k-transitive groups

TODO this would give a better motivation for the Mathieu group

Higher transitivity: mathoverflow.net/questions/5993/highly-transitive-groups-without-assuming-the-classification-of-finite-simple-g