P
Initializing...
A shifted-square product bound at sum three · Prove2Me