Given a RV X, the function F:Rā[0,1] defined by F(x)=P(Xā¤x),xāR is called the distribution function (DF) of X.
1. F(ā
) is non-decreasing 2. limxāāāF(x)=1 3. limxāāāāF(x)=0 4. F(ā
) is right continuous: F(x+)=ϵā0limāF(x+ϵ)=F(x)