geometry-topology / Discrete Geometry, Packing
If $f(n)$ is the maximum total side length of $n$ interior-disjoint squares packed in the unit square, is $f(k^2 + 1) = k$? An exact rational configuration packs $17$ squares with total side length greater than $4$, refuting the identity at $k = 4$.
Temporal state
No reconciled state yet.
Append-only history
If $f(n)$ is the maximum total side length of $n$ interior-disjoint squares packed in the unit square, is $f(k^2 + 1) = k$? An exact rational configuration packs $17$ squares with total side length greater than $4$, refuting the identity at $k = 4$.
Research memory
If $f(n)$ is the maximum total side length of $n$ interior-disjoint squares packed in the unit square, is $f(k^2 + 1) = k$? An exact rational configuration packs $17$ squares with total side length greater than $4$, refuting the identity at $k = 4$.
Evidence graph
No public relationships recorded yet.