One-Sample Gaussian Mean Test with Known Covariance