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