 Note that the definition implies that the coverage probability formula_4 is always larger than formula_2.An equivalent definition can be made by considering a hypothesis test of the null hypothesis formula_6 against the alternative formula_7.Then the numerator in (), when evaluated at formula_8, correspond to the type-I error probability (formula_9) of the test (i.e., formula_8 is rejected when formula_11) and the denominator to the power (formula_12).