sin(cosx)≦sin(cos(sinx))
⇔cosx≦cos(sinx) (∵y=sinxは[-1, 1]で増加関数)
両辺倶に偶関数で, 2πを周期に持ち, 更に[π/2, 3π/2]で
cosx≦0≦cos(sinx)から[0,π/2]で考えればよい。
このときy=cosxは減少関数とからsinx≦x
∴cosx≦cos(sinx)

sin(cos(sinx))≦cos(sinx)
⇔t=cos(sinx), sint≦t
0≦t≦1(∵-1≦sinx≦1)なのでsint≦tは成立