Here is the problem I'm trying to work out: Let $v_b,v_s$ be jointly normally distributed random variables with pdf $f(v_b,v_s)$. I want to work out $E[v_b|v_s\leq\pi]$ for some constant $\pi$. Here is what I tried:
$$E[v_b|v_s\leq\pi]=\frac{1}{F_{v_s}(\pi)}\int_{-\infty}^{\infty}v_bf_{v_b|v_s\leq\pi}dv_b=\frac{1}{F_{v_s}(\pi)}\int_{-\infty}^{\infty}v_b\frac{f_{v_b}}{F_{v_s}(\pi)}dv_b=\frac{1}{F_{v_s}(\pi)^2}E[v_b]$$
However, I'm not sure I should be integrating from $-\infty$ to $\infty$. Is this correct?