不等式两边都除以x,有
pi/2-1/xα,所以有tan(1/x)>1/x
所以 tan(1/x)*x>1/x*x=1
问题得证.