2^{n + 1} ≥ n^2 + n + 2
IA:
2^{0 + 1} ≥ 0^2 + 0 + 2 --> 2 ≥ 2
2^{1 + 1} ≥ 1^2 + 1 + 2 --> 4 ≥ 4
2^{2 + 1} ≥ 2^2 + 2 + 2 --> 8 ≥ 8
IS:
2^ ((n + 1) + 1) ≥ (n + 1)^2 + (n + 1) + 2
2·2^{n + 1} ≥ n^2 + 2·n + 1 + n + 1 + 2
2·2^{n + 1} ≥ n^2 + 3·n + 4
2·(n^2 + n + 2) ≥ n^2 + 3·n + 4
2·n^2 + 2·n + 4 ≥ n^2 + 3·n + 4
n^2 - n ≥ 0
n·(n - 1) ≥ 0
Das ist für die natürlichen Zahlen erfüllt.