Zeige: ∑ (k = 1 bis 2n) 1/k ≥ 1 + n/2
Induktionsanfang: n = 0
∑ (k = 1 bis 20) 1/k ≥ 1 + 0/2
1 ≥ 1 + 0/2
stimmt.
Induktionsschritt: n --> n + 1
∑ (k = 1 bis 2n + 1) 1/k ≥ 1 + (n + 1)/2
∑ (k = 1 bis 2·2n) 1/k ≥ 1 + (n + 1)/2
∑ (k = 1 bis 2n) 1/k + ∑ (k = 2n + 1 bis 2·2n) 1/k ≥ 1 + (n + 1)/2
1 + n/2 + ∑ (k = 2n + 1 bis 2·2n) 1/k ≥ 1 + (n + 1)/2
∑ (k = 2n + 1 bis 2·2n) 1/k
Anzahl Summanden: 2·2n - (2n + 1) + 1 = 2n
Abschätzung der Summanden nach unten: 1/(2·2n)
1 + n/2 + 2n·1/(2·2n) ≥ 1 + (n + 1)/2
1 + n/2 + 1/2 ≥ 1 + n/2 + 1/2
stimmt.