P
Initializing...
A fourth-degree bound for variables of sum two · Prove2Me