probability of 417 or fewer successes in 1000 trials with p=0.5