“verify that the following function is a cumulative distribution function”