Dazu schreibst du dir am besten die Definition mal hin.
Hättest du und am besten auch genannt.
Vielleicht ist sie so:
Zu jedem k∈ℝ (also insbesondere zu jedem negativen)
existiert ein N∈ℕ so, dass für alle n≥N gilt an ≤k .
Sei also k∈ℝ. Dann muss du zeigen, dass es ein N gibt
mit n≥N ==> an ≤k für alle n∈ℕ.
In deinem Fall muss also gelten 400 -n2 ≤k
<=> 400 - k ≤ n^2
Nun existiert nach dem Axiom des Archimedes für jede
reelle Zahl x eine natürliche Zahl m mit m>x.
Also gibt es auch zu 400 - k ein m∈ℕ mit 400-k < m
Da für alle n∈ℕ gilt n≤n^2 hat man also auch
400-k < m^2 .
Und für alle natürlichen n,m n>m gilt auch n^2 > m^2 ,
also erfüllt dieses m die Bedingung
n≥m ==> 400 - k ≤ n^2
bzw. (s.o.) n≥m ==> 400 - n^2 ≤ k
bzw. (s.o.) n≥m ==> an ≤ k
m hat also die Eigenschaften des oben geforderten N,
also gibt es so ein N. q.e.d.