The “Garbage Project” at the University of Arizona reports that the amount of paper discarded by households per week is normally distributed with mean 9.4 lb and standard deviation 4.2 lb. What percentage of households throws out at least 10 lb of paper a week?