Normal: Unknown variance (with known mean)(Section 3.2)