假设A=a*sina是函数的上界,即对(0,+无穷)上所有实数,均有F(x)=xsinxa,sina>0
所以F(a+2π)=（a+2π）*sina>a*sina=A
因此相矛盾了