complementary cumulative distribution function