p(x>4485) for normal distribution with mean 4001 and variance 2667