MathDB

1

Part of 2017 Baltic Way

Problems(1)

Sequence

Source: Baltic Way 2017 Problem 1

11/14/2017
Let a0,a1,a2,...a_0,a_1,a_2,... be an infinite sequence of real numbers satisfying an−1+an+12≥an\frac{a_{n-1}+a_{n+1}}{2}\geq a_n for all positive integers nn. Show that a0+an+12≥a1+a2+...+ann\frac{a_0+a_{n+1}}{2}\geq \frac{a_1+a_2+...+a_n}{n} holds for all positive integers nn.
algebraInequalitySequenceConvexityeasy sequenceinduction