22. The distribution of pre-cooked weights of "quarter-pound" (a quarter-pound is 4 oz ) hamburger patties used by Lardees Fast Food can be approximated by a normal model. A consumer watchdog group thinks that Lardees is using hamburger patties in their quarter-pound hamburgers with a mean pre-cooked weight less than 4 oz. A random sample of 15 patties yields a mean weight I = 3.8 ounces and sample standard deviation s = 0.5 ounces. The consumer watchdog group conducts the hypothesis test Ho:/ = 4 vs. HA : u