(k + 1)! = (k + 1)^k