ホンマに問題あってるの?
なんでx≦sin(π/2)とか回りくどい書き方してあるんだろ。