The joint probability density for $X$ and $Y$ is $$ f_{XY}(x,y)=\begin{cases} 2e^{-(x+2y)}, & x>0,y>0\\ 0, & \text{otherwise}\\ \end{cases}$$ Calculate the variance of $Y$ given that $X>3$ and $Y>3$.
Correct answer: 0.25
My work:$\def\Var{\operatorname{Var}}$
$\Var(Y\mid Y>3, X>3) = E[Y^2\mid Y>3, X>3] - E[Y\mid Y>3, X>3]^2$
We know $$E[Y\mid Y>3, X>3] = \int_\infty^\infty yf_{X\mid Y}(y\mid Y>3, X>3)dy$$
$\int_3^\infty y\frac{f_{X,Y}(y, X>3)}{f_{X,Y}(X>3, Y>3)}dy$?
That denominator is usually just the marginal of one RV, but in this case it is a function of $X$ and $Y$ so s it a joint? Doesn't it cancel out with joint pdf above when integrated?