π=円周>内接正八角形周
は自明じゃないね