Distribution function for discrete random variables