Testing a population mean with s known: one-tailed test