Packing squares into a rectangle with a relatively small area (Q6098932)

Let \(\alpha>0\) be a real number, \(m\geq\max(17, \frac{4}{e^{\alpha}-1})\), \(\epsilon<\frac{1}{m-\frac{1}{e^{\alpha}-1}}\left( 1+\frac{2}{e^{2\alpha}-1}\right)\). Then all squares with side lengths \(\frac{1}{m+1},\frac{1}{m+2},\ldots\) can be packed into the rectangle with dimensions \(\alpha\times\epsilon\). Similar results are also proved for packing rectangles \(\frac{1}{m+1}\times \frac{1}{m+2}, \frac{1}{m+2}\times \frac{1}{m+3},\ldots\) and squares with side lengths \(\frac{1}{2m+1},\frac{1}{2m+3},\ldots\). The proofs are based on some new inequalities with harmonic numbers.