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 4 of 4: Conclude
k2s2≥Sk2−1≥1r2⟹s≤kr\frac{k^2}{s^2}\ge S_{k^2-1}\ge\frac1{r^2}\Longrightarrow s\le kr
Detailed analysis

Combining the upper bound for the final sum with its monotonic lower bound gives k2/s2≥Sk2−1≥1/r2k^2/s^2\ge S_{k^2-1}\ge1/r^2. Taking positive square roots yields s≤krs\le kr, so the board contains a number not exceeding krkr.