A medical device manufacturer claims to have developed a thin AICD that contains a mean of no less than 41 Joules of stored energy. From previous studies, it is believed that stored energy AICDs is normally distributed with a standard deviation of 2 Joules. A consumer group has decided to try to discover if the claim appears true. They take a sample of 20 AICDs and find that the mean of stored energy is 40.6 Joules.
Referring to the information above, the appropriate hypotheses to determine if the manufacturer's claim appears reasonable is