The avatar for @mattiasvillaniMattias VillaniHypothesis test for a mean in a normal population