31. The lifetimes of interactive computer chips produced by a certain semiconductor manufacturer are normally distributed having mean 4.4 × 106 hours with a standard deviation of 3 × 105 hours. If a mainframe manufacturer requires that at least 90 percent of the chips from a large batch will have lifetimes of at least 4.0 × 106 hours, should he contract with the semiconductor firm?