Quatro quadrados bastam
Pegue um número inteiro positivo qualquer e tente escrevê-lo como soma de quadrados perfeitos, $0, 1, 4, 9, 16, 25, \ldots$, usando o menor número possível de parcelas:
$$\begin{aligned} 5&=4+1,\\ 6&=4+1+1,\\ 7&=4+1+1+1,\\ 30&=25+4+1,\\ 2026&=2025+1=45^2+1^2. \end{aligned}$$Alguns números são quadrados, outros precisam de dois, outros de três. O 7 precisa de quatro: não há outro jeito. Será que algum número precisa de cinco? Em 1770, Lagrange provou que não:
Todo número inteiro positivo é soma de quatro quadrados de inteiros.