一个不等式的构造探讨

本文对不等式(sinx)^(-2)≤x^(-2)+1-4/π~2,x∈[0,π2]的构造进行讨论并给出一种新的证明方法。