Question 58
$$
f(x) = \begin{cases} x + \frac{1}{2}, & \text{if } x \lt \frac{1}{2}, \\ x^2, & \text{if } x \ge \frac{1}{2}. \end{cases}
$$
Let $a$ and $b$ be two real numbers such that $0 \lt a \lt b \lt 1$. We define the sequences $a_n$ and $b_n$ by $a_0 = a, b_0 = b$, and
$$
a_n = f(a_{n-1}),\ b_n = f(b_{n-1}) \text{ for } n \gt 0.
$$
Show that there exists a positive integer $n$ such that
$$
(a_n - a_{n-1})(b_n - b_{n-1}) \lt 0.
$$
f(x) = \begin{cases} x + \frac{1}{2}, & \text{if } x \lt \frac{1}{2}, \\ x^2, & \text{if } x \ge \frac{1}{2}. \end{cases}
$$
Let $a$ and $b$ be two real numbers such that $0 \lt a \lt b \lt 1$. We define the sequences $a_n$ and $b_n$ by $a_0 = a, b_0 = b$, and
$$
a_n = f(a_{n-1}),\ b_n = f(b_{n-1}) \text{ for } n \gt 0.
$$
Show that there exists a positive integer $n$ such that
$$
(a_n - a_{n-1})(b_n - b_{n-1}) \lt 0.
$$