非负随机变量X满足:(1-F(x)) 在 (0，+∞)积分为= E[X]

证明一个公式，X是一个非负的随机变量，则 $E[X] = \int_{ 0}^{ + \infty } {(1-F(t))dt}$
其中$E[X]$ 是随机变量X的期望，$F(x)=P\{X<=x\}$是随机变量的分布函数。
下面证明方法一应该是正确的。证明方法二，由于学习功力不够，未能保证每一步都是严谨的，如果有误，烦请指正。
证法一：
当X是离散随机变量时，

$\int_{ 0}^{ + \infty } {(1-F(t))dt}$

$= \sum_{t = 0}^{+\infty}P(X>t)$

$= \sum_{t = 0}^{+\infty} {\sum _{x = t+1}^{+\infty} P(X = x)}$

=