3 Added summary of the Geombinatorics paper not reviewed in MathSciNet.

To supplement Ben Green's key reference (to "Covering a square of side n + ε with unit squares") , there is some follow-on work: Karabash & Soifer, "A sharp upper bound for cover-up squares," Geombinatorics, v16, 219-226, 2006; "Note on covering square with equal squares," Geombinatorics, v18, 13-17, 2008; Chung & Graham, "Note: Packing equal squares into a large square," Journal of Combinatorial Theory Series A, Volume 116, Issue 6 (August 2009), 1167-1175.

Addendum in response to Ben Green's remark: I do have the 2008 Geombinatorics paper (but not the 2006 one). They define $\Pi(n)$ as the number of unit squares that can cover a square of side length $n+\epsilon$. It appears that the status as of this 2008 paper was that $\Pi(n)=n^2+O(n^{2/3})$ has been established, and they conjecture that $\Pi(n)=n^2+ \Omega(n^{1/2})$.

2 Added date to 1st reference.

To supplement Ben Green's key reference (to "Covering a square of side n + ε with unit squares") , there is some follow-on work: Karabash & Soifer, "A sharp upper bound for cover-up squares," Geombinatorics, v16, 219-226, 2006; "Note on covering square with equal squares," Geombinatorics, v18, 13-17, 2008; Chung & Graham, "Note: Packing equal squares into a large square," Journal of Combinatorial Theory Series A, Volume 116, Issue 6 (August 2009), 1167-1175.

1

To supplement Ben Green's key reference (to "Covering a square of side n + ε with unit squares") , there is some follow-on work: Karabash & Soifer, "A sharp upper bound for cover-up squares," Geombinatorics, v16, 219-226; "Note on covering square with equal squares," Geombinatorics, v18, 13-17, 2008; Chung & Graham, "Note: Packing equal squares into a large square," Journal of Combinatorial Theory Series A, Volume 116, Issue 6 (August 2009), 1167-1175.