Find the probability that the mean of a random sample of 25 elements from a normally

distributed population with a mean 90 and standard deviation of 60 is larger than 100.