P
Initializing...
A linear term and shifted square bound a harmonic product · Prove2Me