Um (1) richtig zu stellen wäre das folgende richtig ?
Dazu gibt es ein einfaches Gegenbeispiel:
Für \(n=1\in\mathbb{N}\) ist \(1 \lt 1^2 ↯ \)
Da Du weißt, dass die Behauptung (1) falsch ist, muss ihre Negation wahr sein (sonst wäre es ein Paradoxon). Bilde also die Negation dieser Aussage:
\(\exists n\in\mathbb{N}:n\geq n^2\)
Diese ist wahr, denn für \(n=1\) gilt: \(1\geq 1^2\checkmark\)