# Limit of sequence of functions behaving strange

I'm trying to determine the limit of the sequence of functions

$$f_n(x)=\left(\frac{1}{\pi}\arctan(n x) + 1/2\right)^n.$$

I define

f[x_, n_] := (1/2 + ArcTan[n x]/Pi)^n


And enter

Limit[f[x, n], n -> Infinity]


Assuming[x > 0, Limit[f[x, n], n -> Infinity]]


I get the answer $$e^{-\frac{1}{x\pi}}.$$

While

Assuming[x < 0, Limit[f[x, n], n -> Infinity]]


I think it's a bug. The result is not always 0 as you check by using 1 for instance in place of x. –  b.gatessucks Oct 16 '13 at 12:51
Probably a bug or at least a limitation in calculus code. Limit will rely on Series and at least for elementary functions that will ignore branch cut issues unless assumptions are provided that give a clear indication of what side of such a cut we are on. –  Daniel Lichtblau Oct 16 '13 at 15:55