P
Initializing...
A quadratic bound for four weakly ordered numbers · Prove2Me