[math-fun] Factorization of 1 + n + n^2 + . . . + n^k