The totals of the individual weights of garbage discarded by 62 households in one week have a sample mean of 24.443 lb. Assume the population standard deviation of weights is 12.458 lb. Use a 0.05 significance level to test the claim that the population of househoulds have a mean weight of garbage less than 30 lbs.