P
Initializing...
A strict square-sum bound at sum one half · Prove2Me