The ABC Electronics Company claims that batteries it produces have average useful life of at least 100 hours. It is known that the population standard deviation is 20 hours. A random sample of 49 batteries resulted in average life of 96 hours. For this test we will employ a 0.05 level of significance.
Which form of the hypotheses should be employed to test the companies claim?