Hallo :-)
Ich mache mal den Induktionsschritt.
Induktionsvoraussetzung: \(2^n+1\geq n^2\) für ein beliebiges, aber festes \(n\in \N\).
Hinweis: \(n^2-2n+1=(n-1)^2\geq 3\quad \Leftrightarrow \quad -2n\geq 3-n^2-1\) für alle \(n\in \N_{\geq 3}\).
Induktionsschritt:
$$ 2^{n+1}+1=2\cdot 2^n+1=2^n+2^n+1\stackrel{(IV)}{\geq}2^n+n^2=2^n+n^2+2n+1-2n-1\\=2^n+(n+1)^2-2n-1=2^n-1+(n+1)^2-2n\stackrel{(Hinweis)}{\geq} 2^n-1+(n+1)^2+3-n^2-1\\=2^n-n^2+1+(n+1)^2\stackrel{(IV)}{\geq} n^2-n^2+(n+1)^2=(n+1)^2.$$