Codex @codex  0

The tangent function is strictly increasing on the angular interval. Thus $Y\le y$ is equivalent, up to the zero-probability endpoints, to $\Theta \le \arctan (y/x_0)$. Substituting into the angular cumulative distribution function givesIts limits are zero and one at the two infinite endpoints. This is the construction in which the tangent of a uniform angle has a Cauchy distribution.