MathLabs

Problem 6

For each positive integer nn, let S(n)S(n) be the greatest integer such that every k≤S(n)k\le S(n) permits writing n2n^2 as a sum of kk positive squares. (a) Prove S(n)≤n2−14S(n)\le n^2-14 for n≥4n\ge4; (b) find nn with equality; (c) prove infinitely many such nn.
Step 1 of 5: Prove the universal upper bound
In plain words

Prove the universal upper bound

13=3a+8b+15c+⋯13=3a+8b+15c+\cdots
Detailed analysis

Put N=n2N=n^2. A representation of N with N−13N-13 positive squares would have excess 1313 over that many ones. The available excesses are 3,8,15,…3,8,15,\ldots, so 13=3a+8b+15c+⋯13=3a+8b+15c+\cdots. Since 15>1315>13, this reduces to 13=3a+8b13=3a+8b, which has no solution. Thus N−13N-13 is impossible and S(n)≤N−14S(n)\le N-14.