a)Walter believes that the average annual health care claims per employee are less than $10,000, and he wants to find out if the data provide compelling evidence to support his claim. Write down the formal null and alternative hypotheses for the test Walter should perform.