Kürzer geht es wohl nicht.
Folge ist nicht beschränkt nach oben; denn gäbe es eine obere Schranke S
so müsste n^2 + 2 ≤ S für alle n aus N gelten
also auch n^2 ≤ S - 2
also n ≤ wurzel(S - 2) .
Da aber die Folge der nat. Zahlen nicht beschränkt ist
( archimedisches Axiom) : Widerspruch!
Infimum = 2 ( oder genügt nach unten beschränkt ?
Musst nur zeigen: Für alle n aus N gilt n^2 + 2 ≥ 2
n^2 ≥ 0 .