P
Initializing...
A product of elementary symmetric sums bounds a five-degree term · Prove2Me