MathDB
Weird Sequence

Source: ISL 2022 A1

July 9, 2023
algebraSequenceISL 2022

Problem Statement

Let (an)n1(a_n)_{n\geq 1} be a sequence of positive real numbers with the property that (an+1)2+anan+2an+an+2(a_{n+1})^2 + a_na_{n+2} \leq a_n + a_{n+2} for all positive integers nn. Show that a20221a_{2022}\leq 1.