Probability that a Binomial random variable (n=1000,p=0.5) >= 527