>>700
すまん確かに三角不等式でいけるね
円周を折れ線で近似したものと、内接正多角形を、不等式で比較してから、折れ線を細かく分割して極限をとる