x∈(0,π/2),cosx ∈(0,1)
cos(cosx)∈(cos1,1)
=》∫ cos(cosx)dx从0到二分之派积分的值是正的.