If the mean is known, do you still divide by n − 1?
Suppose the true mean is known (not estimated from the data), and you estimate the variance from i.i.d. observations .
What is the right divisor now, or ? Prove that your choice is unbiased.
Show a hint
The came from measuring deviations around the fitted . Here you measure around the true . Did you spend any degree of freedom?