1992年，Joseph Gerver构造了一个更优的形状，面积约为2.2195，并证明了其最优性。