P
Initializing...
A sixth-degree Schur-type bound with a difference correction · Prove2Me