Problem

Source: Turkey IMO TST 1993 #3

Tags: inequalities unsolved, inequalities



Let ($b_n$) be a sequence such that $b_n \geq 0 $ and $b_{n+1}^2 \geq \frac{b_1^2}{1^3}+\cdots+\frac{b_n^2}{n^3}$ for all $n \geq 1$. Prove that there exists a natural number $K$ such that \[\sum_{n=1}^{K} \frac{b_{n+1}}{b_1+b_2+ \cdots + b_n} \geq \frac{1993}{1000}\]