P
Initializing...
The incomplete Beta integral at $p=m/N$ is at most $\tfrac12$ · Prove2Me