The weights of a certain brand of candies are normally distributed with a mean weight of 0.8585 g and a standard deviation of 0.0518 g. A sample of these candies came from a package containing 469 candies, and the package label stated that the net weight is 400.2 g. (If every package has 469 candies, the mean weight of the candies must 400.2 exceed = 0.8534 g for the net contents to weigh at least 400.2 g.)