P
Initializing...
A binomial average of ballot probabilities is at most √(2/(π n u)) · Prove2Me