a,b,cを任意の実数とするとき以下の不等式

　　sin(a)sin(b)sin(c) + cos(a)cos(b)cos(c)≦1

が成り立つことを証明せよ。