P
Initializing...
The strict binomial upper tail at an integer mean is at most $\tfrac12$ · Prove2Me