MHB Nontrivial Normal Subgroup in Finite Groups with Index Constraints?

[Euge]

Here is this week's POTW:

-----
Let $G$ be a finite group, and let $H$ be a subgroup of $G$ of index $n$. Prove that if the order of $G$ does not divide $n!$, then $H$ contains a nontrivial normal subgroup of $G$.

-----

 

[Euge]

No one answered this week's problem. You can read my solution below.

Spoiler

Let $G$ act on the set of left cosets of $H$ by left multiplication, and let $K$ be the kernel of the induced permutation representation. Then $K$ is the intersection of all conjugates of $H$, so $K$ is a normal subgroup of $G$ contained in $H$. Since $H$ has index $n$, $K$ has index dividing $n!$. Using the fact that $n!$ is not divisible by $|G|$, $K$ must be nontrivial.