 Tail-sum formula

For nonnegative $Y$, $E[Y]={\int }_0^{\infty }P(Y\ge t)dt$; for nonnegative integer $N$, $E[N]={\sum }_{k\ge 1}P(N\ge k)$.