Many Americans contributed to their 401k investment accounts. An economist wanted to determine how well these investments performed. A random sample of Americans with 401k investments were surveyed and asked to report the total amount invested. Can we infer at the 5% significance level that the mean amount for all Americans with 401k investments is greater than $125,000 assuming that investments are normally distributed with a standard deviation of $25,000?