The Rao-Blackwell theorem suggests conditioning on . Part (d) gives
It remains unbiased. Since and a normal variable with mean and variance satisfies ,
This is strictly below for every . The calculation is recorded as the Rao-Blackwell estimator of a squared normal mean.