# 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

$\blacksquare$