Asymptotic theory for a two-stage procedure in sequential interval estimation of a normal mean

We revisit the problem of sequential fixed-width interval estimation of the mean of a normal population. For a two-stage procedure, we derive an approximation to the coverage probability, when the variance has a known lower bound. Our approximation is more explicit than a recent result.