Let $G$ be a simple group and there exists a subgroup $H$ of index $n \in \mathbb{N}_{\ge 3}$. Show that: $|G|$ divides $n!/2.$ I saw a similar question here.
There was written: "The proof is really simple. Let $X$ be the set of left cosets of $H$. Consider $\phi: G \to \text{Sym}(X)$ given by $\phi(x)(aH)=(xa)H$. Then $\phi$ is a homomorphism. Consider now $K=\ker \phi$. Then $K$ is a normal subgroup of $G$ contained in $H$. Finally, $G/K$ is isomorphic to a subgroup of $\text{Sym}(X)$, which has order $n!$, where $n=[G:H]$. Thus, $[G:K]$ is finite and divides $n!$."
In fact, I don't understand the last sentence. "Thus, $[G:K]$ is finite and divides $n!$." Also did I understand it right that $ker(\phi)=H$? Can you also give me an advice how to proof it for $n \ge 3$. (maybe induction)
Thank you for taking your time.