probability distribution function right continuous