P
Initializing...
Spencer's six-deviations bound in the trivial range $n \le 36$ · Prove2Me