Lemma1 Conditional expectation with respect to Dirichlet process prior NPBayes Nonparametric Bayes estimate of CDF from arbitrary censored data NPBayesT Nonparametric Bayes estimate of CDF from left truncated, right censored data NewLemma1 Conditional Expectation of left truncated and right censored observations