Packing equal squares into a large square

Let s(x) denote the maximum number of non-overlapping unit squares which can be packed into a large square of side length x. Let W(x)=x²−s(x) denote the “wasted” area, i.e., the area not covered by the unit squares. In this note we prove that