In this post, there's an equality:
$P[X \geq n] = \int_{X \geq n} dP$, given that $E[X]$ exists, and $X$ is a nonnegative random variable.
Could someone please explain why the equality holds? Why are we allowed to put the (arbitrary) probability function $P$ under the differential? I have looked at the definitions of probability and distribution function, but they didn't help to see why the equality is true.
Thank you.