分布関数
概要
$ F_Y(y)=P(Y\leq y)=P(\{\omega;Y(\omega)\leq y\})
累積分布関数ともいう
平たく言うとある値以下になる確率
たとえば連続型確率変数の場合、その分布関数は$ F_X(x) = \int_{-\infty}^xf_x(t)dtで求められるので分布関数を微分することで確率密度関数を求めることができる（できないときもある）