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 5 of 5: Fill the remaining high counts
In plain words

Fill the remaining high counts

K1K2>23N1N2K_1K_2>\frac23N_1N_2
Detailed analysis

For N≥169N\ge169, every excess d≥14d\ge14 can be written as d=3a+8bd=3a+8b; starting from ones and grouping four or nine equal squares therefore covers all counts above N/2N/2 through N−14N-14. Since Ki=Ni−14>23NiK_i=N_i-14>\frac23N_i, the product range overlaps this high-count range. Repeating products from 13213^2 gives infinitely many 132r13^{2r} with S(13r)=132r−14S(13^r)=13^{2r}-14.