>>199
正n角形でn→無限大が円周になるというのも自明でない。
さらに弦の方が弧より長いというのも自明でない。