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.