Another Better Lower Bound for N=17 Square Packing

The idea is to improve a recent result and prove that 4.5058(?)≤s(17) using these weights: But let’s first define s(17). Quoting the old article about the topic Let s(n) be the side of the smallest sq...