MathDB
Sequence

Source: Iran 2002

April 9, 2004
geometrygeometric transformationinequalitiesalgebrapolynomialfunctionalgebra solved

Problem Statement

ana_{n} (nn is integer) is a sequence from positive reals that anan+2+an+1+an1+an24a_{n}\geq \frac{a_{n+2}+a_{n+1}+a_{n-1}+a_{n-2}}4 Prove ana_{n} is constant.