Loading conversation...

Preparing your shared thread

Loading traces...

Fetching execution details

Closed-form formula and a₅ for aₙ = 3aₙ₋₁ + 1