P
Initializing...
A mixed rational sum and product is at least two · Prove2Me