When the true mean is known, which divisor is right?
A sensor is calibrated so that its true long-run mean reading is a known target (say the machine is set to exactly grams). You take readings and want to estimate the noise variance .
Because is known rather than estimated, what should you divide by to get an unbiased estimate of ?