P
Initializing...
A product of shifted rational expressions is at least nine halves · Prove2Me