Given two formulae E[G F p] (which is CTL*) and EG EF p ( which is a CTL) with a Model prove that they are not equivalent
Consider a system with 3 states, $s_1,s_2,s_3$ and the following transitions:
$s_1\to s_1$, $s_1\to s_2$, $s_2\to s_3$ and $s_3\to s_3$.

The state $s_2$ is labelled $p$.

Clearly $E[GF p]$ doesn't hold, since every path from $s_1$ has at most one $p$.

However, there exists a path, namely $s_1^\omega$, such that in every state along this path, i.e. in $s_1$, there exists a path that eventually sees $p$, so $E G EF p$ does hold.