P
Initializing...
A two-variable fifth-power bound · Prove2Me