lim(x->正无穷)(arctanx)cos(1/x)
=lim arctanx ×lim cos(1/x)
= π/2 × cos0
= π/2