P
Initializing...
A mixed square-cube bound at sum three · Prove2Me