>>278
弧長の定義なら 「n×AB の極限」≦扇の弧長 だな。
等号示すには、何かもう一つ準備がいる。