Don't just swap the quantifier and forget the conclusion: the negation of "all greater than" is "some not greater than," not "less than."
Module goal. Master the negation of statements, especially the pattern for statements with one quantifier, laying the foundation for rigorous reasoning ahead.
eastmath.com · 35.4 Negation: Saying It the Other Way · 35.4.4 Common Traps in Negation