[math-fun] Power Sum Conjecture