MathDB

A sequence of positive integers

a_1,a_2,\ldots

satisfies

a_n > \frac{a_{n+1}+a_{n+2}+\ldots +a_{2n}}{n+2016}

for all positive integers

n

. Show that there exists a positive real

C

such that

a_n<C

for all positive integers

n

8