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.

The first equation can be derived using two fundamental formulas:

*

*The formula for the expectation of a random variable $X$ given event $A$:
$$E(X\mid A)=\frac{E(XI(A))}{P(A)}\tag1$$


*The formula for the expectation of a function $h$ of a random variable $X$ (often described as the law of the unconscious statistician): If $X$ has density $f_X$, then
$$ E [h(X)] = \int h(x) f_X(x)\, dx.\tag2$$
In your situation, apply formula (1) with $A:=\{X>k\}$, obtaining
$$E(X\mid X>k)=\frac{E [XI(X>k)]}{P(X>k)}.$$ Now apply (2), noting that $XI(X>k)$ can be written $h(X)$, where $h$ has the form
$$
h(x):=\begin{cases}
x&\text{if $x>k$}\\
0&\text{if $x\le k$}
\end{cases}.
$$ This gives
$$ E [XI(X>k)]=\int_k^\infty xf_X(x)\,dx.$$
