Let y = x→∞lim(2π−tan−1x) Taking log on both sides, we get log y = x→∞limx1 log (2π−tan−1x) form (form ∞/∞) = x→∞lim2π−tan−1x−1+x21 (using L ‘Hospitals’ rule) = x→∞lim−1−x21(1+x2)22x (using L' Hospital’s rule) x→∞lim−1+x22x = 0 ⇒ y = e0 = 1