Optimality of Gerver's Sofa (via WeetHet) — discussion

#math