Sea $n\geqslant 1$ un entero, y sean $x_0,x_1,\ldots,x_{n+1}$ sean $n+2$ números reales no negativos que satisfacen $x_ix_{i+1}-x_{i-1}^2\geqslant 1$ para todo $i=1,2,\ldots,n.$ Demuestra que \[x_0+x_1+\cdots+x_n+x_{n+1}>\bigg(\frac{2n}{3}\bigg)^{3/2}.\]