An independent consumer group published its finding that the lifetimes of electric bulbs manufactured by BIG Corporation are approximately normally distributed with a mean of days and a standard deviation of . BIG Corporation claims that the standard deviation of its electric bulbs is less than . Suppose that we want to carry out a hypothesis test to see if BIG Corporation's claim is correct. State the null hypothesis and the alternative hypothesis that we would use for this test.