증명하라.

정의 D1

수열 (aₙ) 은 첫 항 a₁ 과 점화식 aₖ₊₁ = F(aₖ, k) 로 정한다. 각 자연수 n 에 하나의 값을 주는 식 f 에 대하여 명제 P(n) 을 「aₙ = f(n)」이라 한다.

증명.