If $X$ is a continuous random variable, how to show that $$E[X|X>c] = \int_c^{\infty} (1-F_X(x))dx?$$
I showed
$$EX = E \int_0^ \infty 1_{X>x}dx = \int_0^\infty P(X>x)dx = \int_0^{\infty} (1-F_X(x))dx.$$
If it is given that $X>c$, does that mean that $E(X|X>c) = \int_c^{\infty} (1-F_X(x))dx$? Not sure why.