We define the sequence $x_1=n,y_1=1,x_{i+1}=[\frac{x_i+y_i}{2}],y_{i+1}=[\frac{n}{x_{i+1}} ]$. Prove that $min\{ x_1, x_2, ..., x_n\}=[\sqrt{n}]$ .
Problem
Source: II International Festival of Young Mathematicians Sozopol 2011, Theme for 10-12 grade
Tags: algebra, Sequence