35

Part of 1978 IMO Longlists

Problems(1)

Existence of constant for concave functions

Source:

(a_n)_0^N

of real numbers is called concave if

2a_n\ge a_{n-1} + a_{n+1}

for all integers

n, 1 \le n \le N - 1

(a)

Prove that there exists a constant

C >0

\left(\displaystyle\sum_{n=0}^{N}a_n\right)^2\ge C(N - 1)\displaystyle\sum_{n=0}^{N}a_n^2\:\:\:\:\:(1)

for all concave positive sequences

(a_n)^N_0

(b)

(1)

C = \frac{3}{4}

and that this constant is best possible.

functionalgebra unsolvedalgebra