Um P(n)P(n)P(n) für alle n≥n0n\ge n_0n≥n0 zu beweisen:
Dann gilt P(n)P(n)P(n) für alle n≥n0n\ge n_0n≥n0.