内接多角形の周長の計算は
lim(dx→0)　((-1)^dx-1)/dx
に関連づけられる
上記の値は　log(-1)だからπiに等しい

＞円周より外接多角形の方が長い
別に認めなくてもいいよ　必要ないから

内角多角形の周長で、辺の数をいくら増加させても
有界だと云えればいいだけ
外周の極限＝内周の極限
が言えればいい