有界性 xcosx