define CDF
Merge pull request #48 from alexgarel/explain-cdf

define CDF in chapter 4