How do you correctly write this sentence as a CTL formula?
You can learn a lot about CTL at Wikipedia page.

The sentence you need to write, expressed more closely in the vocabulary of CTL operators, would be
Along all paths starting from current state, it always has to hold that there exists at least one path where $p$ eventually is true.

I think you can take it from there, but comment if you have troubles.



hint: The operators you will need to use are $F$, $A$, $E$ and $G$.