Calculate $P(X\geq 0, Y \geq -X)$ given $X, Y$ are independent standard normal random variables.
I had thought this could be done as simple as a system of inequalities on $\mathbb{R}^2$ given the entire support integrates to 1, and so the solution is $\frac{3}{8}$.
I was told this isn't a technically correct method, but the solution was correct. Is there some preliminary step that needed made, like regarding conditioning, to make this argument formal?