The cumulative distribution function must tend to one at infinity, so . Differentiation gives the probability density function for and zero for ; there is no atom at zero. This is an exponential distribution of rate one. Its first two moments are and , so
The continuous nonnegative part has total mass . The remaining mass is at , giving . This is a mixed probability distribution, specifically a mixture of a point mass and an exponential distribution; its atom must be included in normalization.
The conditioning event selects the exponential component: and . Thus conditional probability givesThe atom at is excluded by the conditioning event.
Articles by others on the same topic
There are currently no matching articles.