MathDB
Induction screaming sequence

Source: 2024 Turkey EGMO TST P4

February 12, 2024
algebraSequenceInequalityinduction

Problem Statement

Let (an)n=1(a_n)_{n=1}^{\infty} be a strictly increasing sequence such that inequality an(an2an1)+an1(an12an2)0a_n(a_n-2a_{n-1})+a_{n-1}(a_{n-1}-2a_{n-2})\geq 0 holds for all n3n \geq 3. Prove that for all n2n\geq2 the inequality anan1+an2++a1a_n \geq a_{n-1}+a_{n-2}+\dots+a_1 holds as well.