> > 暇だ
> 円周率が3.1より大きいことを示せ

半径１の円に内接する正八角形の外周より円の円周が長いから

参考：2006/01/18(水)00時15分01秒