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) = 13 and F(n) = 3 F(n - 1) + 3346 for every integer n = 1.
The task
Define the sequence F by F(0) = 13 and F(n) = 3 * F(n - 1) + 3346 for every integer n >= 1.