请教一道关于函数极限的问题lim(x->正无穷)(arctanx)cos(1/x)