Paragraph

Negation: \(\exists x (x \lt 1 \wedge x^2 \ge 1)\)