三角関数が初等的でないっていわれてもなあ
円の面積＜外接正多角形の面積
を認められるなら自明かな。