Packing unit squares in a square $s(17)$
The side of the smallest square into which $17$ unit squares can be packed.
Lower bound:
$\frac{40\sqrt{2}+19}{17}$
(≈4.445208)
Upper bound:
${\approx}4.6756$
Updates
-
Upper bound: ${\approx}4.6756$
Reference unknown
[via Packing Unit Squares in Squares: A Survey and New Results, Erich Friedman, 2009-08-14] -
Lower bound: $\frac{40\sqrt{2}+19}{17}$
(≈4.445208)
Reference unknown
[via Packing Unit Squares in Squares: A Survey and New Results, Erich Friedman, 2009-08-14]