An Automobile Manufacturer Has Claimed That His Car Averages at Least

Short Answer

An automobile manufacturer has claimed that his car averages at least $30 \mathrm{~m}$ .p.g. on the highway. A random sample of 16 such cars finds an average of $25 \mathrm{~m}$ . p.g. with a standard deviation of $8 \mathrm{~m} . p . g$ .
-State the hypotheses symbolically for the one-tailed test.