MathDB
2015 China South East MO Grade 11 P2

Source: 2015 China South East MO Grade 11 P2

January 16, 2018
inequalitiesalgebra

Problem Statement

Given a sequence {an}nZ+\{ a_n\}_{n\in \mathbb{Z}^+} defined by a1=1a_1=1 and a2k=a2k1+ak,a2k+1=a2ka_{2k}=a_{2k-1}+a_k,a_{2k+1}=a_{2k} for all positive integer kk. Prove that, for any positive integer nn, a2n>2n24a_{2^n}>2^{\frac{n^2}{4}}.