The Cumulative Distribution Function for a Random Variable