Squares in Squares

The following pictures show n unit squares packed inside the smallest known square (of side length s). For the n not pictured, the trivial packing (with no tilted squares) is the best known packing. 1.            2.            3. s = 1Trivial. s = 2Proved by Frits Göbelin 1979. s = 2Proved by Frits Göbelin…