Problem about finite group and conjugation Let $G$ be a finite group with order $n\geq 7$ and H be a proper subgroup of $G$ then prove that there exists at least $3$ elements of $G$ that do not conjugate to any elements of $H$
Any idea? I still have no idea how to prove this.For example when using contradiction method.We assume that there is at most 2 element $g_1,g_2 \in G\backslash H$ that do not conjugate to $h ,\forall{h}\in H$ then how to deal with it?
Thank for your help.

Here is an answer that only needs Jyrki's results for $A_3$ and $S_3$ (where they can be directly verified):
$$|G \setminus \cup_{g \in G} H^g| \geq |G| - 1 - \sum_{g \in G/H} | H^g \setminus \{1\}| =  |G|-1 -[G:H](|H|-1) = [G:H]-1$$ so unless the index is 1, 2, or 3, the statement is proven. For index 1, $H$ is not proper. For index 2, $H$ is normal, so in fact $|G \setminus H| = |G|/2 \geq 3$. For index 3, the kernel of the permutation action is non-trivial, so a very very simple version of Jyrki's answer applies.

If the index is 3 and $H$ is not normal, then there are three conjugates of $H$ in $G$, so $H$ contains a subgroup $K$ such that $K$ is normal in $G$, and $G/K$ is isomorphic to either the alternating group $A_3$ or the symmetric group $S_3$. In both cases, $G/K$ contains an element $gK$ of order 3, and $\{H,H^g,H^{g^2}\}$ are the three conjugates of $H$. Since $H\neq H^g$, $g \notin H$, but since $H^g \neq H^{g^2}$, $g \notin H^g$, and similarly $g\notin H^{g^2}$. However the same argument applies to every element $gk \in gK$ and $g^2K$. Since $[G:K] \leq 6$ and $|G| \geq 7$, we get that $|K|\geq 2$ and so $|gK \cup g^2K| \geq 4$, so that we in fact have 4 elements not contained in any conjugate of $H$.
