计算 $\displaystyle\lim_{x\to+\infty}(\pi-2\arctan x)\ln x$。