Sequential Squares -- A005842

[N. J. A. Sloane]

Gordon Royle said:
The description of this A005842 is

"Smallest square that contains all squares of side 1, .. , n"

There is no indication anywhere of whether these are proven values, or 
"best currently known" values.

It would be really useful if this kind of information were incorporated 
into the entries so that viewers know the boundaries between knowledge 
and research problem...


Me:
I was assured by Ed Pegg that these entries were proved to be correct.
Otherwise I would have indicated that they were only conjectures.

Neil