Problem

Source: IX International Festival of Young Mathematicians Sozopol, Theme for 10-12 grade

Tags: recurrence relation, recursion, algebra



The rows $x_n$ and $y_n$ of positive real numbers are such that: $x_{n+1}=x_n+\frac{1}{2y_n}$ and $y_{n+1}=y_n+\frac{1}{2x_n}$ for each positive integer $n$. Prove that at least one of the numbers $x_{2018}$ and $y_{2018}$ is bigger than 44,9