αは実数
β = sin α , γ = sin β
のとき
( | α | + | γ | ) ≧ 2 β

また π < 3.1416 を用いて
sin ( 1 / 2 ) > 0.4764