证明普遍上界
令 N=n2N=n^2N=n2。若 N 能表示为 N−13N-13N−13 个正平方之和,相对于同样多的1,余量为 131313。可用的余量是 3,8,15,…3,8,15,\ldots3,8,15,…,所以 13=3a+8b+15c+⋯13=3a+8b+15c+\cdots13=3a+8b+15c+⋯。因 15>1315>1315>13,这化为无解的 13=3a+8b13=3a+8b13=3a+8b。故 N−13N-13N−13 不可能,S(n)≤N−14S(n)\le N-14S(n)≤N−14。