construct/rlve recursive sequence sum
construct/rlve recursive sequence sum: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Define the sequence F by F(0) = 24 and F(n) = 12 F(n - 1) + 5463 for every integer n = 1.
The task
Define the sequence F by F(0) = 24 and F(n) = 12 * F(n - 1) + 5463 for every integer n >= 1.