Corollary 3 (complementary p-value). For all n ≥ 1 we have