A note on perfect packing of \(d\)-dimensional cubes (Q2200981)

It is shown that the \(d\)-cubes \(C_n^t=[0,n^{-t}]^d\), \(n=1,2,\dots\), can be packed into the box \(B=[0,1]^{d-1} \times \left[0,\sum_{n=1}^\infty n^{-dt}\right]\) whenever \(1/d < t \le 2^{d-1}/(d2^{d-1}-1)\). That is, there exist images of all \(C_n^t\), \(n \ge 1\), under suitable translations or rotations that are subsets of \(B\) and have pairwise disjoint interiors. These packings are called perfect, since they cover \(B\) up to a remainder of measure zero.