Greater than weighted mean ==> greater than mean
Source: 4th QEDMO, created by myself
March 9, 2007
algebra proposedalgebra
Problem Statement
Let (a1,a2,a3,...) be a sequence of reals such that
an≥(n−1)+(n−2)+...+2+1(n−1)an−1+(n−2)an−2+...+2a2+1a1
for every integer n≥2. Prove that
an≥n−1an−1+an−2+...+a2+a1
for every integer n≥2.
Generalization. Let (b1,b2,b3,...) be a monotonically increasing sequence of positive reals, and let (a1,a2,a3,...) be a sequence of reals such that
an≥bn−1+bn−2+...+b2+b1bn−1an−1+bn−2an−2+...+b2a2+b1a1
for every integer n≥2. Prove that
an≥n−1an−1+an−2+...+a2+a1
for every integer n≥2.
darij