etwas formaler:
Folge an mit a1 = √2 und an+1 := √(2 + an)
Behauptung:
A(n): Für alle n∈ℕ gilt an < 2
Beweis durch vollständige Induktion:
A(1): a1 = √2 < 2 ist wahr
A(n) → A(n+1):
⇔ an < 2 → an+1 < 2 ( Induktionsvoraussetzung IV)
Es gilt:
an+1 = √(2 + an) <IV √(2 + 2) = √4 = 2