>>41

sin x < x を使う。この証明は数三Cで、扇形の面積を使ってやっている。

cos x = 1-2sin^2 (x/2) > 1-x^2/2