那些能杀死无聊时间的高雅娱乐

韩国人的证明：[2411.19826] Optimality of Gerver's Sofa