従って、もしをの累積分布関数とすると、