Compute the density function of Z = X2/X1 given that X2 and X1 both have the normal distribution with mean 0, variance 1 as their density.
I got this far:
$$ F(z) = P( X_2 \leq X_1 z) = \int\int \frac{1}{2 \pi} e^{-x^2-y^2} dx dy $$ change of variables $$ \int^{+\infty}_0 \int^{\tan^{-1}(z + 2\pi)}_{\tan^{-1}( z + \pi)} \frac{1}{2\pi}e^{-r^2}r dr d\theta = 1/2 $$
Now the textbook answer is $tan^{-1} z / \pi$ without any explanations and I have trouble understanding it as I am trying to self learn probability. Any help greatly appreciated.