a_1 = 1, a_{n+2} = 2a_{n+1} - a_n +2 , a_na_{n+1} = a_m
Source: Czech And Slovak Mathematical Olympiad, Round III, Category A 1986 p5
February 17, 2020
recurrence relationSequencealgebra
Problem Statement
A sequence of natural numbers satisfies for .
Prove that for every natural there exists a natural such that .