I saw the identity below but I'm not sure how to derive it.
$$E[X\mid X>K] = \mu + \sigma \frac{\phi(z)}{\Phi(-z)} \text{ where } z = \frac{K-\mu} \sigma$$
I'm stuck at the following step:
$$E[X\mid X>K] = \frac{E[X 1_{X>K}]}{E[1_{X>K}]} = \frac{\int_K^\infty x f_X(x)\,dx}{\int_K^\infty f_X(x)\,dx} = \frac{\int_K^\infty x f_X(x)\,dx}{\Phi\left(-\frac{K-\mu} \sigma\right)} $$
Could anyone help with this? many thanks