Problem

Source: 2019 Polish MO Finals

Tags: algebra, inequalities, real number



The sequence $a_1, a_2, \ldots, a_n$ of positive real numbers satisfies the following conditions: \begin{align*} \sum_{i=1}^n \frac{1}{a_i} \le 1 \ \ \ \ \hbox{and} \ \ \ \ a_i \le a_{i-1}+1 \end{align*}for all $i\in \lbrace 1, 2, \ldots, n \rbrace$, where $a_0$ is an integer. Prove that \begin{align*} n \le 4a_0 \cdot \sum_{i=1}^n \frac{1}{a_i} \end{align*}