sinαsinβsinγ≦3√3/8
がわかっていたから
sinαsinβsinγ≦(3√3/2π)^3αβγ
はほぼ自明であったが,そうでなければ
sinx=x-x^3/3!+x^5/5!-x^7/7!+・・・
sinx/x=1-x^2/3!+x^4/5!-x^6/7!+・・・
を使わなければならない問題なのだろうか?
===================================
sinx=x-x^3/3!+x^5/5!-x^7/7!+・・・
より,
x-x^3/3!<sinx<x
(α-α^3/6)(β-β^3/6)(γ-γ^3/6)<sinαsinβsinγ<αβγ
(α-α^3/6)(β-β^3/6)(γ-γ^3/6)
=αβγ-αβγ^3/6-αβ^3γ/6-αβ^3γ/6+αβ^3γ^3/36+α^3βγ^3/36+α^3β^3γ/36-α^3β^3γ^3/108
≒αβγ(1-(α^2+β^2+γ^2)/6)
α^2+β^2+γ^2≧3αβγ
αβγ(1-(α^2+β^2+γ^2)/6)≦αβγ(1-αβγ/2)
などとしてもNGであろう.
sinαsinβsinγ<(α-α^3/6+α^5/120)(β-β^3/6+β^5/120)(γ-γ^3/6+γ^5/120)
などもNGと思われる.
===================================