I am currently learning induction and I understand the proof except the last line: $$ 2^{n+1} \ge (n+1)^2$$
I'm aware of the fact that, at some point (here $n=4$) an exponential function grows faster than a polynomial function ... but wouldn't I have to prove this too?
You can show that $lim\frac{2^n}{(n^2)} = \infty$ as $n \rightarrow \infty$. This is one of the ways to show that $2^n $ "grows faster" than $n^2$.
Proof:
From l'Hospital's rule (using it twice) we have: $\lim\limits_{n \to \infty}\frac{2^n}{n^2}=\lim\limits_{n \to \infty}\frac{2^n log2}{2n}=\lim\limits_{n \to \infty}\frac{2^nlog^22}{2}=\infty.$
Using l'Hospital's rule is legal as we have the expression $\frac{\infty}{\infty}$.