Complementary cumulative distribution function