Let \((a_n)_{n\geq 1}\) be a sequence of positive real numbers with the property that

\[(a_{n+1})^2 + a_na_{n+2} \leq a_n + a_{n+2}\]