[math-fun] Sum of initial nth powers equal to a higher power?