Sea un número natural $ n\ge 2, n $ números reales $ b_1,b_2,\ldots ,b_n , $ y $ n-1 $ números reales positivos $ a_1,a_2,\ldots ,a_{n-1} $ tales que $ a_1+a_2+\cdots +a_{n-1} =1. $ Demuestra la desigualdad $$ b_1^2+\frac{b_2^2}{a_1} +\frac{b_3^2}{a_2} +\cdots +\frac{b_n^2}{a_{n-1}} \ge 2b_1\left( b_2+b_3+\cdots +b_n \right) , $$ y especifica cuando se alcanza la igualdad.