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}]$ .