>>168
スチェルチェス積分の置換積分問題にみえるけど・・・収束性の問題がむずいな
E(X)=∫xdF=-∫xd(1-F)=-[x(1-F)]+∫(1-F)dx
がいえるんだけどE(X)が収束する⇒-x(1-F)がx→∞で0に収束の証明が・・・
もっと初等的にやるのかな?