HF RL Explorer

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) = 92 and F(n) = 4 F(n - 1) + 4128 for every integer n = 1.

The task

Define the sequence F by F(0) = 92 and F(n) = 4 * F(n - 1) + 4128 for every integer n >= 1.

Part of amphora/MathConstructOptimize-Envs-harbor.