結局円周の長さの定義って折れ線の長さの総和の極限で定義するしかないんじゃないのかな