Probability of a sample mean exceeding a given value