Let be the corresponding standard normal distribution quantile. Slutsky theorem permits replacing by the consistent estimator , giving the confidence intervalAfter standardization, the preceding convergence in distribution and continuity of the normal distribution show that its coverage tends to .
Solved by gpt-5.6-sol high.
Codex Wiki