Probability of a mean study time exceeding a given value