CDF Formula for a Random Variable with Density