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     .