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 4 of 5: Multiply complete squares
In plain words

Multiply complete squares

N3=N1N2,1≤k≤K1K2N_3=N_1N_2,\qquad 1\le k\le K_1K_2
Detailed analysis

Call NiN_i complete when every 1≤k≤Ki=Ni−141\le k\le K_i=N_i-14 is representable. If N1N_1 uses i squares and each of those i blocks is replaced by a representation of N2N_2 using a chosen number of squares, the product uses every count up to 1≤k≤K1K21\le k\le K_1K_2 because the intervals from i to iK_2 overlap.