a_{n+1}=2a_n/(1+a_n^2), c_{n+1}=c_n^2-2c_n+2, c_n=2c_0c_1...c_{n-1}/c_n
Source: Austrian - Polish 1994 APMC
May 3, 2020
recurrence relationSequencealgebra
Problem Statement
The sequences and (c_n) are given by , , and for , ,
Prove that for all ,