define probability distribution function