MathLabs

Problem 1

Consider the following operation on positive real numbers written on a blackboard: choose a number rr written on the blackboard, erase that number, and then write a pair of positive real numbers aa and bb satisfying 2r2=ab2r^2=ab on the board. Assume that you start out with just one positive real number rr on the blackboard, and apply this operation k2−1k^2-1 times to end up with k2k^2 positive real numbers, not necessarily distinct. Show that there exists a number on the board which does not exceed krkr.
Step 3 of 4: Use the smallest final number
s=min⁡{x1,…,xk2},1s2≤1xi2s=\min\{x_1,\ldots,x_{k^2}\},\quad \frac1{s^2}\le\frac1{x_i^2}
Detailed analysis

After the final operation, call the k2k^2 numbers x1,…,xk2x_1,\ldots,x_{k^2} and let ss be their smallest value. Then every reciprocal square is at most 1/s21/s^2, so the sum is at most k2/s2k^2/s^2.