The test statistic is
Under the null hypothesis
Z is standard normal.
From Table I in Lindgren, the one-tailed P-value is 0.0537.
Welch's procedure uses the test statistic
Under the null hypothesis
T has an approximate Student t-distribution with noninteger d. f.
given by
From Table IIIa in Lindgren, the one-tailed P-value is 0.041 and the two-tailed is (double that) 0.082. (The exact P-value using a computer is 0.081.)
The test statistic
![]()
Under the alternative hypothesis
![]()
The power condition is
![]()
![]()
![]()
![]()
Of course, since the actual population standard deviation is not 4, we won't get exactly the desired power, but this is the best we can do with the data at hand.
The likelihood for
is
The log likelihood is
and
![]()
![]()
![]()
Since this does not contain Xi, it is nonrandom, and hence its
negative is the Fisher information
![]()
A 95% C. I. for
is

The mean of a
distribution is s / (s + t),
equation (17), p. 176 in Lindgren,
so the mean of a
is
![]()
A method of moments estimator is found by solving this equation for
giving
![]()
![]()
The likelihood is
![]()
![]()
Thus the unnormalized posterior is
![]()
The mean of a
is
the thing in the first slot divided by the thing in the second slot,
hence
![]()
The variance
is
. The variance of
is
![]()
![]()
The one with the smaller asymptotic variance (
) is better.
The ARE (not asked, but just in case anyone was wondering) is 4 / 6 = 2 / 3.