Lean

MSE of sample standard deviation (Lean by AI)