MathDB
Sequence Inequality [Baltic Way 2003]

Source:

November 6, 2010
inequalitiesinductionalgebra proposedalgebra

Problem Statement

The sequence (an)(a_n) is defined by a1=2a_1=\sqrt{2}, a2=2a_2=2, and an+1=anan12a_{n+1}=a_na_{n-1}^2 for n2n\ge 2. Prove that for every n1n\ge 1 (1+a1)(1+a2)(1+an)<(2+2)a1a2an.(1+a_1)(1+a_2)\cdots (1+a_n)<(2+\sqrt{2})a_1a_2\cdots a_n.