Arctangent is of Exponential Order Zero
Theorem
Let $\arctan: \R \to \left({-\dfrac \pi 2 \,.\,.\, \dfrac \pi 2}\right)$ be the real arctangent.
Then $\arctan$ is of exponential order $0$.
Proof
Follows from Function with Limit at Infinity of Exponential Order Zero.
$\blacksquare$
In particular: limit of $\arctan$.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.
To discuss this in more detail, feel free to use the talk page.
Once you have done so, you can remove this instance of {{MissingLinks}} from the code.
