Induktionsanfang: n = 4
2^4 < 4!
16 < 24 → stimmt!
Induktionsschritt: n → n + 1
2^{n + 1} < (n + 1)!
2 * 2^n < n! * (n + 1)
2^n < n! aus Induktionsannahme und
2 < (n + 1) aus Induktionsannahme.
n^2 ≤ 2^n für n ≠ 3
Induktionsanfang: n = 1, 2 und 4
n = 1
1^2 ≤ 2^1
1 ≤ 2
n = 2
2^2 ≤ 2^2
4 ≤ 4
n = 4
4^2 ≤ 2^4
16 ≤ 16
Induktionsschritt: n → n + 1
(n + 1)^2 ≤ 2^{n + 1}
n^2 + 2·n + 1 ≤ 2·2^n
n^2 + 2·n + 1 ≤ 2·n^2
2·n + 1 ≤ n^2
n^2 - 2·n - 1 ≥ 0
n ≥ √2 + 1 = 2.414
Das ist aber bei n ≥ 4 sicher gegeben.