population mean inference single sample 4057845