Let $(a_n)_{n\ge 1}$ be a sequence such that $a_n > 1$ and $a_{n+1}^2 \ge a_n a_{n + 2}$, for any $n\ge 1$. Show that the sequence $(x_n)_{n\ge 1}$ given by $x_n = \log_{a_n} a_{n + 1}$ for $n\ge 1$ is convergent and compute its limit.
1. Given the sequence $(a_n)_{n \ge 1}$ such that $a_n > 1$ and $a_{n+1}^2 \ge a_n a_{n+2}$ for any $n \ge 1$, we need to show that the sequence $(x_n)_{n \ge 1}$ given by $x_n = \log_{a_n} a_{n+1}$ is convergent and compute its limit.

2. First, take the logarithm of both sides of the inequality $a_{n+1}^2 \ge a_n a_{n+2}$:
   \[
   \log(a_{n+1}^2) \ge \log(a_n a_{n+2})
   \]
   Using the properties of logarithms, this can be rewritten as:
   \[
   2 \log(a_{n+1}) \ge \log(a_n) + \log(a_{n+2})
   \]

3. Dividing both sides by $\log(a_{n+1})$ (noting that $\log(a_{n+1}) > 0$ since $a_{n+1} > 1$), we get:
   \[
   2 \ge \frac{\log(a_n)}{\log(a_{n+1})} + \frac{\log(a_{n+2})}{\log(a_{n+1})}
   \]
   Recognizing that $\frac{\log(a_n)}{\log(a_{n+1})} = \log_{a_{n+1}} a_n = \frac{1}{x_n}$ and $\frac{\log(a_{n+2})}{\log(a_{n+1})} = \log_{a_{n+1}} a_{n+2} = x_{n+1}$, we can rewrite the inequality as:
   \[
   2 \ge x_{n+1} + \frac{1}{x_n}
   \]

4. We also have the inequality $x_n + \frac{1}{x_n} \ge 2$ for any positive real number $x_n$ (this follows from the AM-GM inequality). Therefore, we have:
   \[
   x_n + \frac{1}{x_n} \ge 2 \ge x_{n+1} + \frac{1}{x_n}
   \]

5. From the above inequality, it follows that:
   \[
   x_n \ge x_{n+1}
   \]
   This shows that $(x_n)_{n \ge 1}$ is a decreasing sequence.

6. Since $x_n$ is a decreasing sequence and $x_n > 0$ (because $a_n > 1$ implies $x_n > 0$), the sequence $(x_n)_{n \ge 1}$ is bounded below by 0. Therefore, by the Monotone Convergence Theorem, $(x_n)_{n \ge 1}$ is convergent.

7. Let $L$ be the limit of the sequence $(x_n)_{n \ge 1}$. Taking the limit on both sides of the inequality $2 \ge x_{n+1} + \frac{1}{x_n}$, we get:
   \[
   2 \ge L + \frac{1}{L}
   \]
   Similarly, taking the limit on both sides of the inequality $x_n + \frac{1}{x_n} \ge 2$, we get:
   \[
   L + \frac{1}{L} \ge 2
   \]

8. Combining these two inequalities, we have:
   \[
   2 \ge L + \frac{1}{L} \ge 2
   \]
   This implies:
   \[
   L + \frac{1}{L} = 2
   \]

9. Solving the equation $L + \frac{1}{L} = 2$, we multiply both sides by $L$:
   \[
   L^2 + 1 = 2L
   \]
   Rearranging, we get:
   \[
   L^2 - 2L + 1 = 0
   \]
   Factoring, we find:
   \[
   (L - 1)^2 = 0
   \]
   Therefore:
   \[
   L = 1
   \]

The final answer is $\boxed{1}$.