Problem

Source: Bulgarian Autumn Tournament 2023, 12.1

Tags: algebra



Let $x_0, x_1, \ldots$ be a sequence of real numbers such that $x_0=1$ and $x_{n+1}=\sin(x_n)+\frac{\pi} {2}-1$ for all $n \geq 0$. Show that the sequence converges and find its limit.