Corollary 2 (direct p-value). For all n ≥ 1 we have