>307
ありがとうございます。わかりました。
>区間[0,π/2]では2x/π≦sinx
これには気付きませんでした。有名な式ですか?