期待値が有限で分布関数をF(t)とする。t(1-F(t))はtを無限大にしたとき0に収束することは自明じゃないと思うのだが…
0
0
1
183
0