P
Initializing...
An asymmetric fixed-sum lower bound in mixed powers · Prove2Me