Problem

Source:

Tags: algebra, 5th edition



Let $\{x_n\}_n$ be a sequence of positive rational numbers, such that $x_1$ is a positive integer, and for all positive integers $n$. $x_n = \frac{2(n - 1)}{n} x_{n-1}$, if $x_{n_1} \le 1$ $x_n = \frac{(n - 1)x_{n-1} - 1}{n}$ , if $x_{n_1} > 1$. Prove that there exists a constant subsequence of $\{x_n\}_n$.