P
Initializing...
A sharp square-sum bound under a mixed constraint · Prove2Me