>>460じゃないんだけど、円に外接する正多角形の周の長さが円周より長いというのは自明?