Arccotangent is of Exponential Order Zero
Theorem
Let $\operatorname{arccot}: \R \to \left({0 \,.\,.\, \pi}\right)$ be the real arccotangent.
Then $\operatorname{arccot}$ is of exponential order $0$.
Proof
Follows from Function with Limit at Infinity of Exponential Order Zero.
$\blacksquare$
In particular: limit of $\operatorname{arccot}$.
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.
