y \leq \arctan(x) < \frac{\pi}{2}