MathDB
An easy sequence but casework

Source: Own

August 3, 2024
SequenceInteger sequence

Problem Statement

Find all infinite integer sequences a1,a2,a_1,a_2,\ldots satisfying an+2an+1=an+1+ana_{n+2}^{a_{n+1}}=a_{n+1}+a_n holds for all n1n\geq 1. Define 00=10^0=1