Compare a sample mean against a population mean when the population standard deviation is known.
z = (x̄ − μ) / (σ / √n). Uses the standard normal distribution.