2n + 1 ≥ n2 + n + 2
IA:
20 + 1 ≥ 02 + 0 + 2 --> 2 ≥ 2
21 + 1 ≥ 12 + 1 + 2 --> 4 ≥ 4
22 + 1 ≥ 22 + 2 + 2 --> 8 ≥ 8
IS:
2^ ((n + 1) + 1) ≥ (n + 1)2 + (n + 1) + 2
2·2n + 1 ≥ n2 + 2·n + 1 + n + 1 + 2
2·2n + 1 ≥ n2 + 3·n + 4
2·(n2 + n + 2) ≥ n2 + 3·n + 4
2·n2 + 2·n + 4 ≥ n2 + 3·n + 4
n2 - n ≥ 0
n·(n - 1) ≥ 0
Das ist für die natürlichen Zahlen erfüllt.