What is the derivation for "Partial Expectation"? On the Wikipedia page for Log-normal distribution
It is written that
$$E[X|X>k]Pr(X>k)=\int_{k}^{\infty}xf_{X}(x)dx$$
I know it is probably simple, but I am still wondering the derivation. Since I know that
$$E[X|Y=y]=\int_{\mathbb{R}}xf_{X|Y}(x|y)dx$$
But I don't know why the first integral is always true.

One way is to  think about the conditional density.  The density of $X|X>k$ is zero when $X\leq k$, so it's proportional to $f_X(x)I(X>k)$. The constant of proportionality is given by the fact that a density has to integrate to 1, so the conditional density is
$$g_X(x)=\frac{f_X(x)I(X>k)}{P(X>k)}$$
So,
$$E[X|X>k]=\int_{-\infty}^\infty x\frac{f_X(x)I(X>k)}{P(X>k)}\,dx=\int_k^\infty x\frac{f_X(x)}{P(X>k)}\,dx$$
where the last step is based on noticing that the integral up to $k$ has to be zero.
This then rearranges to give what you want.
