Incorrect Answer.
The CTL* formula A[GF p] is semantically equivalent to the CTL formula AG AF p.
Inspect the proof(s) for equivalences for Question 3 to see how you could prove such a statement formally.
See Section 3.8.2 of the textbook for a more detailed discussion
of the relative expressiveness of CTL and CTL*.
Back to Question.