求x趋于正无穷的时候(π 2-arctan^1 lnx