The length of children's full-length movies are known to follow a normal distribution with a mean of 78 minutes and a SD of 25 minutes.
Calculate the probability that a random sample of 40 children's full-length movies produces an average length of 85 minutes or more.