A manager states that, in 2003, on average a small and medium firm charged at least $ 3,000 on its business credit card. What are the appropriate null and alternative hypotheses?