PROOF 129
Prove.
Verifying a general term by induction
On the natural numbers ℕ.
Definition D1
The sequence (aₙ) is determined by a first term a₁ and a recurrence aₖ₊₁ = F(aₖ, k). For a formula f assigning one value to each natural number n, let the proposition P(n) be “aₙ = f(n)”.
Proof.
Related labs