:(pi/2-arctanx)^(1/lnx)在X趋向于无穷的时候等于多少?