正三角形が乗る大円でない断面の円の半径より、大円の半径の方がより大きくなるからそうだな。