P
Initializing...
A bound for the largest three of seven ordered numbers · Prove2Me