distribution function (See cumulative distribution.)