Which formula expresses universal denial?

Fronting, Kull and Negation: Denial of Universality versus Universal Denial

• ∃x P(x)
• ¬∃x ¬P(x)
• ∀x ¬P(x)
• ¬∀x ¬P(x)