 Tail assumptions needed for conservative Wald coverage

The tail assumptions needed for conservative Wald coverage concern the distribution of the standardized estimation error and the realized scale of its interval. An expected-value bound on a conservative variance estimator does not establish either property. The discrete and rare-large-variance counterexamples in conservative variance estimation does not guarantee Wald interval coverage isolate those failures. NIST similarly makes a normal-model qualification before interpreting an expanded uncertainty as approximately 95 percent coverage.^[ref]

A precise sufficient asymptotic argument is the following. Let $V_n={\mathrm{Var}}_{\theta }({\hat{\theta }}_n)>0$, take ${\hat{V}}_n\ge 0$, and supposeThe first condition includes centring at the true parameter; asymptotically material bias would change it. The second condition is convergence in probability of a variance ratio, substantially more than an expectation inequality. By Slutsky's theorem, the Wald confidence interval with normal critical value $z={\Phi }^{-1}(1-\alpha /2)$ then has limiting coverage probabilityThe limiting normal distribution has no mass on the interval boundary, which justifies passing to that probability. This is asymptotic conservative Wald coverage under variance-ratio convergence, not a finite-sample guarantee.

For an original exactly normal comparison, let a sample mean have true variance $V_n$ and use the deterministic scale ${\hat{V}}_n=1.44V_n$. A nominal 95 percent Wald confidence interval uses a radius $1.2$ times the usual one and has exact coverage probability $2\Phi (1.2\times 1.959964)-1\approx 0.9813$. The calculation uses an actual normal sampling law and a fixed ratio; it cannot be inferred from $E{\hat{V}}_n\ge V_n$ alone. The normal cdf and inverse-cdf implementations provide the numerical evaluation.^[ref]

A samplewise variance upper bound supplies a separate finite-sample route when the centre is exactly normal, because each reported interval contains the known-variance normal interval. Without that shape assumption, use a justified tail inequality as in confidence bounds from a samplewise variance bound.