Recall that if f ( y ) {\displaystyle f(y)} is the probability density function of a random variable X {\displaystyle X} , its cumulative distribution function is defined as F ( x ) = ∫ − ∞ x f ( y ) d y {\displaystyle F(x)=\int _{-\infty }^{x}f(y)\,dy} .