xsin1 x的有界性